模板参数推导在 MSVC 上失败：bug？

Question

以下内容在 VC++8.0 编译器上无法编译并出现错误（我还没有在最新的 Visual Studio 编译器上尝试过。）

错误 C2440：“return”：无法从“const char *”转换为“const” char (&)[6]'

template <typename T>
inline T const& compare (T const& a, T const& b)
{
    return a < b ? b : a;
}

int main()
{
    ::compare("string1", "string2");
}

在函数模板内部，字符串似乎是 const char (&)[6]。

据我所知，当应用 < 运算符时，数组应该衰减为指针。 那么，这个错误可能是由于可能的错误造成的吗？

Answer 1

这肯定是 Microsoft 编译器中的一个错误。

这是 C 和 C++ 的一大区别。

 e0 ? e1 : e2

在 C++ 中，条件表达式 生成左值，除非第二部分中至少有一个表达式（在 '?' 之后） ）是一个右值，而在 C 语言中，无论如何，条件表达式总是产生右值。这意味着，以下代码在 C++ 中完全有效，但在 C 中却是错误：

int a=10, b=20; 
(a<b?a:b) = 100; //ok in C++, but error in C

在 C++ 中，它不会给出任何错误，正是因为表达式(a 是左值表达式，以便您可以将其放在赋值的左侧。

现在回到原来的问题。在您的情况下，a和b是char (&)[6]类型的数组，并且表达式a 应该生成一个左值，因为不需要数组到指针的转换。但在微软编译器中，似乎存在数组到指针的转换。

为了验证这一点，可以这样写：

template <typename T, int N>
inline void f(T const (&a)[N]) {}

template <typename T>
inline T const& compare (T const& a, T const& b)
{
    f(a < b ? b : a); //is the argument `char*` OR `char (&)[6]`?
    return a < b ? b : a;
}

并且它也给出没有错误（在GCC中），这意味着表达式您传递给 f() 的是一个数组，而不是指针。

Answer 2

据我所知，当应用 < 运算符时，数组应该衰减为指针。

这就是问题所在，它正在退化为 const char *，但随后它尝试将其转换为 const char [8] 作为返回值。

我不确定标准对此有何规定，但如果将其更改为：

compare<char *>("string1","string2");

或

compare(static_cast<const char *>("string1"),static_const<const char *>("string2"));

那么模板参数 T 将是 char * 而不是 char [ 8]。