最近我遇到了一个问题,它以某种方式(但仅以某种方式)对我有意义。它基于将临时构造解释为单个 (!) 构造函数参数的声明。请看下面的最小示例。
#include <iostream>
class Foo0{
public:
Foo0(int a){};
void doStuff() {std::cout<<"maap"<<std::endl;};
};
class Foo1{
public:
Foo1(int a){};
void doStuff() {std::cout<<"maap"<<std::endl;};
};
class Foo2{
public:
Foo2(int a){};
void doStuff() {std::cout<<"maap"<<std::endl;};
};
class Bar{
public:
Bar(Foo0 foo0, Foo1 foo1, Foo2 foo2){};
};
int main () {
int x = 1;
Bar bar0(Foo0(x), Foo1(x), Foo2(x)); // Does not work: conflicting declaration ‘Foo1 x’ previous declaration as ‘Foo0 x’; conflicting declaration ‘Foo2 x’ previous declaration as ‘Foo0 x’
Bar bar1(Foo0{x}, Foo1(x), Foo2(x)); // Works WTF
Bar bar2(Foo0(x), Foo1{x}, Foo2(x)); // Works WTF
Bar bar3(Foo0(x), Foo1(x), Foo2{x}); // Does not work: conflicting declaration ‘Foo1 x’ previous declaration as ‘Foo0 x’
Bar bar4(Foo0{x}, Foo1{x}, Foo2{x}); // Works totally makes sens to me
x.doStuff(); //Dose not work. This makes sens to me. But in the context its curious though.
}
我已经读过这样的表达:
Foo(a);
被解释为(如果有标准构造函数)作为 a 的声明。这是有道理的,而且完全没问题,因为您可以使用 {} 括号来明确构造。但我不明白的是:
为什么bar0的构造会出现问题?所有
Foo
s 都没有标准构造函数。因此,将诸如Foo0(x)
声明之类的内容解释为x
.为什么建设
bar1
和bar2
工作?对我来说,作品的构造是显而易见的bar4
,因为我对所有临时 s 使用 {}-括号Foo
,因此我明确说明了我想要什么。如果只需要使用只有一个
Foo
s 的 {} 括号来解决问题......为什么构造bar3
失败?此外,在构造任何 Bar 之前声明 x。为什么编译器不抱怨呢?
最后一个问题与我的最后一行示例代码有关。长话短说:编译器认为我想让他做什么,我在哪里错过了阴影的出现?
PS:如果有兴趣——我使用 gcc-4.9.2。
PPS:我尝试了相同bar
的构造函数,将三个Foo0
s 作为参数。同样的故事在这里。但是该错误没有说明冲突的声明,而是重新定义x
.