Question

我有一个类在构造函数中完成所有工作（它在那里构造，运行一些计算，输出它们，然后在构造函数中对它进行破坏）。

这里是简化代码：

#include <iostream>

class myInt {
public:
    myInt(int init) : mInt(init) {}

    int mInt;
};

class SinglePara {
public:
    SinglePara(myInt first) : member(first.mInt) { std::cout << member << std::endl; this->~SinglePara(); }

    int member;
};

class TwoPara {
public:
    TwoPara(myInt first, myInt second) : member1(first.mInt), member2(second.mInt) { std::cout << member1 + member2 << std::endl; this->~TwoPara(); }

    int member1, member2;
};

int main()
{
    myInt one(1), two(2), three(3);
    TwoPara myTwo(one, two);      // outputs 3 as expected
    TwoPara(one, two);            // outputs 3 as expected

    SinglePara mySingle(three);   // outputs 3 as expected
    SinglePara(three);            // won´t compile

    std::cin.ignore();
    return 0;
}

现在我的代码中的前3个示例完全按照我期望的方式运行。但最后一个甚至不会编译，因为它认为我想调用复制构造函数，即使three是myInt。当SinglePara和TwoPara将参数整数而不是myInt作为参数时，所有四个示例的行为都符合我的要求。

有人可以解释这种行为并告诉我如何在可能的情况下修复第四个例子吗？

我正在使用MSVC 2013

Answer 1

您

SinglePara(three);

相当于

SinglePara three;

这只是对象three的声明，在名称周围有一对冗余()。但是你已经有一个名为three的对象。您不能在同一范围内声明另一个。因此错误。

您显然希望SinglePara(three)成为创建SinglePara类型的临时对象的表达式。通常，当您在明确指示它是表达式的上下文中使用时，它“自身”发生。在你的情况下，你在没有上下文的情况下使用它，创建了“表达式与声明”歧义，它总是得到解决，有利于声明。

如果你真的只想创建一个短命的临时，那么特定于表达式的东西将有助于推动编译器正确的方向。例如，虚构使用逗号运算符将使其明确地成为表达式

SinglePara((0, three)); // OK
0, SinglePara(three); // OK

作为一种解决方案，这是相当不优雅的，但它确实说明了问题的本质。为了获得更好的解决方案，正如评论中所建议的那样，您可以添加一对括号

(SinglePara(three));

使编译器将其识别为表达式。

奇怪的构造函数调用

1 个答案: