奇怪的构造函数调用

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

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