C++ 编译错误用右值 std::string 构造对象

Question

我遇到了一个我什至不知道如何描述的编译错误！这完全让我感到困惑。

情况：

代码尝试在堆栈上创建一个带有右值 std::string 的对象，该右值用 char* 初始化。

代码：

#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);
}

编译器错误：

>g++ -std=c++11 wtf.cpp
wtf.cpp: In function ‘int main(int, char**)’:
wtf.cpp:58:17: error: no matching function for call to ‘Bar::Bar(Foo (&)(std::string*), Foo (&)(std::string*))’
     Bar wtf(a, b);
                 ^
wtf.cpp:38:9: note: candidate: Bar::Bar(const Foo&, const Foo&)
         Bar(const Foo& a, const Foo& b)
         ^
wtf.cpp:38:9: note:   no known conversion for argument 1 from ‘Foo(std::string*) {aka Foo(std::basic_string<char>*)}’ to ‘const Foo&’
wtf.cpp:35:7: note: candidate: Bar::Bar(const Bar&)
 class Bar
       ^
wtf.cpp:35:7: note:   candidate expects 1 argument, 2 provided
>

您也不会相信/a 解决方法是什么（或者至少我不相信）。如果我在我的右值 std::string 上调用 substr(0)，编译器就会被安抚。但我不明白为什么这会有所作为。毕竟……

std::string(argv[1]).substr(0)

...本身仍然是一个右值。我不明白为什么它与编译器的观点不同。

即对 main(...) 的以下更改允许编译成功：

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

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

    Bar wtf(a, b);
}

几个额外的数据点：

• 在不使用 C++11 的情况下进行编译没有区别（我只包含它以访问 std::stod(...)，这不是重点）。
• g++ (GCC) 5.4.0.
• 编译环境为cygwin。
• 我已尝试修改 Bar 的构造函数以采用 std::string（而不是 std::string&） - 它不会影响编译错误。

我渴望知道这个问题是什么。这感觉太离谱了。

感谢您的帮助。

Answer 1

这是most vexing parse 的一个不太常见的示例。声明

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

没有使用字符串参数调用Foo 的构造函数；相反，它将a 声明为一个函数，该函数采用1 个数组std::string（调整为指向std::string 的指针）并返回Foo。这就是错误消息提到Foo (&)(std::string*) 类型的原因：这是编译器认为a 和b 的类型。 （消息中的(&) 仅表示它是一个左值。）

添加.substr(0) 可以消除声明的歧义，使其不能被解析为函数声明。

大括号初始化是一种更优雅的解决问题的方法：

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

Answer 2

如果您仔细查看错误消息，您会发现您正在尝试使用两个函数构造Bar 对象wtf。这里发生的事情很烦人，所以很烦人，它被正式命名为the most vexing parse。

发生的情况是您将a 和b 声明为函数。将指向 std::string 的指针作为参数并返回 Foo 对象的函数。

如果您有支持 C++11 的编译器，则可以在构造 Foo 对象时使用花括号而不是括号：

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

如果您的编译器较旧，则可以改用复制初始化：

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

如果您不为构造函数参数显式创建std::string 对象并让编译器处理它，它也应该可以正常工作：

Foo a(argv[1]);
Foo b(argv[2]);

Answer 3

编译器似乎参与其中

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

作为函数声明。试试这个：

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

或澄清应该调用构造函数：

Foo a = Foo(std::string("1"));
Foo b = Foo(std::string("2"));