ほとんどのVexingのインスタンスは、std :: stringとchar *を使って解析します。

Question

これは私の以前の質問に対するフォローアップです：C++ compile error constructing object with rvalue std::stringこれから、私はMost Vexing Parseについて学びました。

私は今問題の要点を理解していますが、構文の残りの部分があります。これはまだ分かりません。前回の記事の議論がかなり進んでいたので、スタンドアロンの質問として聞きたいのですが長いです。このコードを考えると

：

#include <iostream> 
#include <string> 

class Foo 
{ 
    public: 
     Foo(double d) 
      : mD(d) 
     { 
     } 

     Foo(const std::string& str) 
     { 
      try 
      { 
       mD = std::stod(str); 
      } 
      catch (...) 
      { 
       throw; 
      } 
     } 

     Foo(const Foo& other) 
      : mD(other.mD) 
     { 
     } 

     virtual ~Foo() {} 

    protected: 
     double mD; 
}; 

class Bar 
{ 
    public: 
     Bar(const Foo& a, const Foo& b) 
      : mA(a) 
      , mB(b) 
     { 
     } 

     virtual ~Bar() {} 

    protected: 
     Foo mA; 
     Foo mB; 
}; 

int main(int argc, char* argv[]) 
{ 
    if (argc < 3) { return 0; } 

    Foo a(std::string(argv[1])); 
    Foo b(std::string(argv[2])); 

    Bar wtf(a, b); 
} 

私はラインFoo a(std::string(argv[1]));があると解釈することができることを、今、理解し、次のいずれか

（1）はFooを使用して作成された匿名std::stringでaという名前作成します。 a char*。 （マイ所望の解釈）

又は

（2）std::string*かかりaという名前の関数の宣言（ない定義を）。

元の質問への回答から、関数は別の関数の範囲内で宣言できることを知りました。それは私には新しかったが、理由のように思われる、私はそれを買うことができる。

私は頭を包むことはできませんが、std::string(argv[1])の解釈はstd::string*です。

argv [1]はchar *なので、なぜこの行が匿名として解釈されないのかわかりません。std::stringはchar*で構成されています。私はのカスプによ

#include <iostream> 
int main() 
{ 
    char* pFoo[] = {"foo"}; 
    std::string str(pFoo[0]); 
    std::cout << str << std::endl; 
    return 0; 
} 

：すべての後、私は今まで、これはそのchar*コンストラクタとstd::stringの建設以外の何かにつながるかどうかを精査することなく、時間の次数百に類似したコードを使用しました最も厄介な解析問題を理解する。もし誰かがこの最後のいたずらを説明することができれば、それは私を端に押しやるのを助けるかもしれない。

ありがとうございます。

Answer 1

Foo a(std::string(argv[1])); 

はFooを戻し、タイプstd::string[1]の（argv命名）つのパラメータを有するaという名前の関数を宣言します。配列関数のパラメーターは常にポインターパラメーターに置き換えられるため、関数パラメーターの実際の型はstd::string*になります。