VS2013中In-class initializer的一个问题

最新推荐文章于 2024-10-01 09:17:24 发布

原创最新推荐文章于 2024-10-01 09:17:24 发布 · 1.9k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#C++11 #VS2013 #Compiler

C++ 专栏收录该内容

1 篇文章

订阅专栏

C++98中，对于某个类A的成员m，当且仅当m的类型为static const修饰的整型(integral)时，m才可以在类A中被常量表达式(constant expression)初始化。

int var = 12;
class A
{
	static const int m = 1; //Good
	static int m1 = 2; //Bad,not const
	const int m2 = 3; //Bad,not static
	static const string m3 = "oops!"; //Bad,not integral
	static const int m4 = var; //Bad,not const expression initializer
	//....
}

C++11中，这个限制被一部分放开了。现在，我们可以在类中初始化成员(In - class initializer)，即：

class A
{
private:
	int i{ 7 };
};

等价于：

class A
{
public:
	A() : i{ 7 } {};
private:
	int i;
};

以上是In - class initializer的背景知识。
VS2013中虽然支持这个特性，但仍有些问题。请看下面这个sample。

class A
{
public:
	A() { cout << v.size(); }
private:
	vector<int> v{ 20 };
};
int main() { A a; }

GCC4.8和clang3.4中，此处屏显结果为1。
而VS2013中，结果为20。

进一步测试：

class A
{
public:
	A() : v{ cout << v.size(); }
private:
	vector<int> v{ 20, 30, 405, 60 };
};

这段代码在VS2013上甚至无法通过编译。而GCC与clang可显示结果“4”。

可以看出VS在进行In - class initializer的处理过程中，不能调用X(initializer_list<T>); ，原因是VS似乎对用{}进行初始化的成员直接做了这样的处理：

class A
{
public:
	A() : v(20, 30, 405, 60) { cout << v.size(); }
private:
	vector<int> v;
};

这样的话，很明显，这不是我们想要的结果。我们想要的是：

class A
{
public:
	A() : v{ 20, 30, 405, 60 } { cout << v.size(); }
private:
	vector<int> v;
};

由此可以得出一个结论，VS平台下，对于In - class initializer中的“{}”，我们只能在某种意义上将其看成“()”了。

所以说，在类内对某成员初始化时，VS平台是无法按照C++11标准(13.3.1.7)来的，因为编译器根本就不能调用initializer_list的构造器。