c++ - 视觉 C++ : forward an array as a pointer

Question

我已经将一些无法在 Visual Studio 2015 上编译的 C++ 11 代码缩减为以下我认为应该编译的代码(并且使用 clang 和 gcc):

#include <utility>

void test(const char* x);

int main()
{
    const char x[] = "Hello world!";

    test(std::forward<const char*>(x));    
}

我知道这里不需要调用 forward。这是从一段更复杂的代码中删除的，该代码将可变参数中的任何数组衰减为指针并转发所有内容。我确信可以通过模板特化或 SFINAE 找到解决此问题的方法，但我想在走那条路之前知道它是否有效的 C++。编译器是Visual Studio 2015，问题可以重现on this online MSVC compiler .编译错误为:

main.cpp(13): error C2665: 'std::forward': none of the 2 overloads could convert all the argument types
c:\tools_root\cl\inc\type_traits(1238): note: could be '_Ty &&std::forward<const char*>(const char *&&) noexcept'
        with
        [
            _Ty=const char *
        ]
c:\tools_root\cl\inc\type_traits(1231): note: or       '_Ty &&std::forward<const char*>(const char *&) noexcept'
        with
        [
            _Ty=const char *
        ]
main.cpp(13): note: while trying to match the argument list '(const char [13])'

更新:

@Yakk 提出了一个更像这样的例子:

void test(const char*&& x);

int main()
{
    const char x[] = "Hello world!";

    test(x);    
}

这给出了更多信息错误:

main.cpp(7): error C2664: 'void test(const char *&&)': cannot convert argument 1 from 'const char [13]' to 'const char *&&'
main.cpp(7): note: You cannot bind an lvalue to an rvalue reference

同样，这在 gcc 和 clang 上编译。 Visual C++ 的编译器标志是 /EHsc/nologo/W4/c。 @Crazy Eddie 建议这可能归结为 VC++ 扩展以将临时对象作为非 const 引用传递。

Answer 1

对我来说，这看起来像是 MSVC 中的一个错误，它试图巧妙地处理数组到指针，但弄错了。

分解你的第二个例子:

编译器需要初始化一个const char*&&来自 const char[13] 类型的左值.为此，8.5.3 表示它创建了一个 const char* 类型的临时文件。并用 const char[13] 初始化它，然后将引用绑定(bind)到临时对象。

正在初始化 const char*来自const char[13]涉及一个简单的数组到指针的转换，产生一个 prvalue const char*然后将其复制到临时文件中。

因此，无论 MSVC 怎么说，转换都是明确定义的。

在您的第一个示例中，导致问题的不是 test()，而是对 std::forward 的调用. std::forward<const char*>有两个重载，而 MSVC 提示两者都不可行。两种形式是

const char*&& std::forward(const char*&&);
const char*&& std::forward(const char*&);

一个接受左值引用，一个接受右值引用。在考虑任一重载是否可行时，编译器需要从 const char[13] 中找到一个转换序列引用const char* .

由于左值引用不是 const(它是对指向 const char 的指针的引用；指针本身不是 const)，编译器无法应用上面概述的转换序列。事实上，没有任何转换序列是有效的，因为数组到指针的转换需要一个临时对象，但您不能将非常量左值引用绑定(bind)到临时对象。因此 MSVC 拒绝左值形式是正确的。

然而，正如我在上面建立的那样，右值形式应该被接受，但被 MSVC 错误地拒绝了。