重载解析 C 风格的字符串

Question

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

我对重载决议的理解是与参数联系最紧密的类型。由于顶部定义是 C 风格数组，而底部定义是衰减的 char*；我发现使用 select 重载很奇怪。

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

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 [=11=]
   }
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]/Table 13. 匹配的非 template 是首选根据 16.3.3 [over.best.match] 匹配 template。综上所述，采用 char const* 的非模板函数是更好的匹配。

将此函数设为 template，例如，为其提供默认的 template 参数可能会解决问题。它很有可能使这两个函数变得模糊。

重载解析 C 风格的字符串

Overload resolution C-style strings

c++

overload-resolution

constexpr