1

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

这是简化的代码：

#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 个示例的行为完全符合我的预期。但是最后一个甚至不会编译，因为它认为我想调用复制构造函数，即使threeis myInt。WhenSinglePara和TwoParatake 作为参数，而不是myIntthen 所有四个示例都按照我的意愿行事。

有人可以解释这种行为并告诉我如何解决第四个例子吗？

我正在使用 MSVC 2013

4

1 回答 1

6

您的

SinglePara(three);

相当于

SinglePara three;

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

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

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

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

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

(SinglePara(three));

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

于 2013-11-10T09:07:20.363 回答