Visual C++: ein Array als Zeiger weiterleiten

Question

Ich habe einige C++ 11 Code, der auf Visual Studio 2015 zu kompilieren fehlgeschlagen, die ich kompilieren sollte (und macht mit Clang und GCC):

#include <utility> 

void test(const char* x); 

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

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

Ich verstehe den Anruf zu forward ist hier nicht notwendig. Dies wird von einem viel komplexeren Code-Code abgeschnitten, der beliebige Arrays in einem variadischen Argument in Zeiger zerlegt und alles weiterleitet. Ich bin mir sicher, dass ich Möglichkeiten finden kann, um mit Template-Spezialisierung oder SFINAE zu umgehen, aber ich würde gerne wissen, ob es C++ gültig ist, bevor ich diesen Weg gehe. Der Compiler ist Visual Studio 2015 und das Problem kann on this online MSVC compiler neu erstellt werden. Der Compiler-Fehler ist:

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])' 

Update:

@Yakk ein Beispiel eher wie diese vorgeschlagen hat:

void test(const char*&& x); 

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

    test(x);  
} 

der einen informativen Fehler gibt:

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 

Wieder , dies kompiliert auf gcc und clang. Die Compilerflags für Visual C++ waren /EHsc /nologo /W4 /c. @Crazy Eddie schlägt vor, dass dies möglicherweise auf eine VC++ Erweiterung zurückzuführen ist, um Provisorien als nicht konstante Referenzen zu übergeben.

Answer 1

Für mich sieht das aus wie ein Fehler in MSVC, wo es versucht, mit Array-to-Pointer clever zu sein und es falsch versteht.

Breaking down Ihr zweites Beispiel:

Der Compiler benötigt const char[13] ein const char*&& von einem L-Wert von Typ zu initialisieren. Um dies zu tun, sagt 8.5.3, dass es ein temporäres vom Typ const char* erstellt und initialisiert es mit dem const char[13], bindet dann den Verweis auf das temporäre.

Das Initialisieren einer aus einer const char[13] beinhaltet eine einfache Array-Zeiger-Konvertierung, die einen prvalue von const char* ergibt, der dann in das temporäre kopiert wird.

Somit ist die Konvertierung wohldefiniert, obwohl MSVC sagt.

In Ihrem ersten Beispiel ist es nicht test(), das das Problem verursacht, aber der Anruf an std::forward. std::forward<const char*> hat zwei Überlastungen, und MSVC beschweren sich weder ist lebensfähig. Die zwei Formen sind

Man nimmt eine Lvalue-Referenz, man nimmt eine Rvalue-Referenz. Bei der Überlegung, ob eine Überladung möglich ist, muss der Compiler eine Konvertierungssequenz von const char[13] zu einer Referenz auf const char* finden.

Da die lvalue-Referenz nicht const ist (es ist ein Verweis auf einen Zeiger auf ein const char; der Zeiger selbst ist nicht const), kann der Compiler die oben beschriebene Konvertierungssequenz nicht anwenden. Tatsächlich ist keine Konvertierungssequenz gültig, da die Konvertierung von Array zu Zeiger ein temporäres erfordert, Sie aber keine nicht konstanten lvalue-Referenzen an Provisorien binden können. Daher hat MSVC das Lvalue-Formular korrekt zurückgewiesen.

Das Rvalue-Formular sollte jedoch, wie oben beschrieben, akzeptiert werden, wird aber von MSVC falsch abgelehnt.

Answer 2

ich std::decay<const char []>::type glauben ist, was Sie für http://en.cppreference.com/w/cpp/types/decay

Answer 3

Suche ich denke, es sollte kompilieren, aber warum stört Sie std::forward zu benutzen?

Ist das nicht die richtige Lösung einfach

std::forward<const char*>(x) 

mit ersetzen:

(const char*)x 

oder für den generischen Fall ersetzen:

std::forward<decay_t<decltype(x)>>(x) 

mit:

decay_t<decltype(x)>(x) 

Die Verwendung von std::forward scheint hier keinen Zweck zu haben, Sie haben ein Array, Sie wollen es zu einem Zeiger zerlegen, also tun Sie das.