Najbardziej dokuczliwy parse z dostępem do tablicy

Question

Chociaż patrząc na niektóre kodu C++ 03, znalazłem wystąpienie najbardziej irytującej parse że mylić mnie:

#include <sstream> 
#include <string> 

int main(int, char** argv) 
{ 
    std::stringstream ss(std::string(argv[0])); 
} 

live example on wandbox

we fragmencie powyżej , ss jest deklaracją funkcji, która pobiera std::string* i zwraca std::stringstream.

W jaki sposób std::string(argv[0]) jest analizowany jako std::string*?

Intuicyjnie pomyślałem, że argv[0] był jednoznacznie dostęp do argv.

Answer 1

Powodem jest to, ponieważ w kontekście deklaracji funkcji, kompilator zinterpretuje std::string(argv[0]) jako std::string argv[0], czyli deklaracji o zerowej wielkości tablicy jako parametr funkcji nazwieargv(przysłania argv z main, ponieważ jest to inny zakres), który następnie jest równoważny wskaźnikowi od matrycy do rozpadu wskaźnika.

Dlatego std::stringstream ss(std::string(argv[0])); oznacza to samo co std::stringstream ss(std::string* argv);

EDIT: Jak został poprawnie annotaded w komentarzach, deklaracji tablicy zerowej wielkości są nieważne w C++, czyniąc program źle sformułowane. Podczas kompilowania tego kodu z flagami -pedantic (GCC i clang) będą wysyłane ostrzeżenia. Program Visual Studio powoduje nawet błąd kompilacji. W przypadku każdego innego indeksu tablicy niż 0, powyższa argumentacja nadal pozostaje.

Answer 2

Wierzę, że wynika to ze "składni deklaracji jest jak składnia wyrażeń" i faktu, że parametry "tablicy" są wskaźnikami.

następujących zgłoszeń tablicy są równoważne

int x[1]; 
int (x)[1]; 
int (x[1]); 

bardziej lub mniej, ponieważ x[a], (x)[a] i (x[a]) równorzędne wyrażenia.

Zatem

std::stringstream ss(std::string(argv[0])) 

       <=> 

std::stringstream ss(std::string argv[0]) 

       <=> 

std::stringstream ss(std::string* argv)