重载决议C风格的字符串

Question

是否有可能解释为什么以下代码没有按预期工作？在这种情况下，我会假设static_asserts都会通过，尽管用Failed表示的那个似乎没有被采用。

我对重载决策的理解是与参数关系最密切的类型。由于顶部定义是C样式数组，而底部定义是decayed char *;我发现使用select过载很奇怪。

作为Clang的MSVC似乎都有相同的行为。

error: static_assert expression is not an integral constant expression
note: non-constexpr function 'getStrLen' cannot be used in a constant expression

代码：

template<size_t N>
constexpr auto getStrLen(const char(&str)[N])
    {
    static_assert(N != 0, "Every literal string should have a null terminator");
    return N - 1; // Remove \0
   }
static_assert(getStrLen("") == 0, "Success");

auto getStrLen(const char *str)
    {
   return strlen(str);
    }

static_assert(getStrLen("") == 0, "Failed");

Answer 1

根据16.3.3.1.1 [over.ics.scs] /表13，精确匹配和数组到指针转换具有相同的等级。根据16.3.3匹配的非template优于匹配的template [over.best 。比赛]。总之，采用char const*的非模板函数是更好的匹配。

使这个函数成为template，例如，通过给它一个默认的template参数可以解决这个问题。它有很大的机会使这两个功能模糊不清。