奇怪的构造函数调用

Weird constructor call

本文关键字：函数调用      更新时间：2023-10-16

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

以下是简化的代码：

#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

您的

SinglePara(three);

相当于

SinglePara three;

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

您显然希望SinglePara(three)是创建类型为 SinglePara 的临时对象的表达式。通常，当您在明确指示它是表达式的上下文中使用时，它会"自行"发生。在您的情况下，您在没有上下文的情况下使用它，从而产生了"表达式与声明"的歧义，这总是以有利于声明的方式解决。

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

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

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

(SinglePara(three));

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

相关文章：