【问题标题】:Instance of Most Vexing Parse with std::string and char*带有 std::string 和 char* 的最令人烦恼的解析实例
【发布时间】:2016-08-19 19:19:46
【问题描述】:

这是我上一个问题的后续:C++ compile error constructing object with rvalue std::string,我从中了解了最令人烦恼的解析。

我现在明白了问题的要点,但是还有一个语法我仍然不太明白,我想作为一个独立的问题来问,因为上一篇文章的讨论已经很长了.

鉴于此代码:

#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) 使用匿名std::string 创建一个名为a 的Foo,该匿名std::string 是使用char* 创建的。 (我想要的解释)

(2) 一个名为a 的函数的声明(不是定义),它采用std::string*

从对原始问题的回答中,我了解到可以在另一个函数的范围内声明函数。这对我来说是新的,但似乎在合理的范围内,我可以买它。

不过,我无法理解的是将std::string(argv[1]) 解释为std::string*

argv[1] 是一个 char*,所以我仍然不明白为什么该行不被解释为一个匿名的 std::string 是用 char* 构造的。毕竟,我已经使用了类似于以下数百次的代码,但从未仔细检查这是否会导致除了构造 std::string 及其 char* 构造函数之外的任何其他结果:

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

我正处于理解最棘手的解析问题的风口浪尖;如果有人能进一步解释这最后一个琐碎的部分,那可能有助于把我推到边缘。

谢谢。

【问题讨论】:

    标签: c++ most-vexing-parse


    【解决方案1】:
    Foo a(std::string(argv[1]));
    

    声明一个名为a 的函数,它返回Foo 并有一个std::string[1] 类型的参数(名为argv)。由于数组函数参数总是用指针参数代替,所以函数参数的实际类型变成了std::string*

    【讨论】:

    • 这是我对最烦人的解析没有理解的地方。 std::string(argv[1]) 如何等同于 std::string argv[1]?在这种情况下,大括号完全没有变化吗?考虑一个函数int f(float arg):您是说int f(float(arg)) 是等价的,但事实并非如此。
    • 是的,您可以在任何声明符周围添加括号而不改变其含义。
    • 你一定是对的,GCC 没有为int f(float(arg)) 抛出错误,这与我的预期相反。
    • 谢谢。我想这就是我一直在寻找的答案。我没有意识到在函数声明中,变量周围的括号是这样处理的。令我惊讶的是,即使在我使用 C++ 语言多年之后,我仍然会遇到如此多的微妙之处。
    猜你喜欢
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2018-05-14
    • 2019-05-20
    相关资源
    最近更新 更多