c++ 为什么Foo({})调用Foo(0)而不是Foo()?

栏目: C++ · 发布时间: 7年前

内容简介:http://stackoverflow.com/questions/26788402/why-does-foo-invoke-foo0-instead-of-foo

可执行文件由clang 3.5.0和gcc 4.9.1从代码生成

#include <iostream>

struct Foo
{
   Foo() { std::cout << "Foo()" << std::endl; }
   Foo(int x) { std::cout << "Foo(int = " << x << ")" << std::endl; }
   Foo(int x, int y) { std::cout << "Foo(int = " << x << ", int = " << y << ")" << std::endl; }
};

int main()                 // Output
{                          // ---------------------
   auto a = Foo();         // Foo()
   auto b = Foo(1);        // Foo(int = 1)
   auto c = Foo(2, 3);     // Foo(int = 2, int = 3)
   auto d = Foo{};         // Foo()
   auto e = Foo{1};        // Foo(int = 1)
   auto f = Foo{2, 3};     // Foo(int = 2, int = 3)
   auto g = Foo({});       // Foo(int = 0)          <<< Why?
   auto h = Foo({1});      // Foo(int = 1)
   auto i = Foo({2, 3});   // Foo(int = 2, int = 3)
}

表现为评论.

cppreference: cpp/language/list initialization

06001

The effects of list initialization of an object of type T are:

If T is an aggregate type, aggregate initialization is performed.

Otherwise, If the braced-init-list is empty and T is a class type with a default constructor, value-initialization is performed.

06002

我得出结论,Foo({})应该调用默认构造函数.

这个bug在哪里?

默认构造函数仅适用于您使用一对大括号:

auto a = Foo();         // Foo()
auto b = Foo{};         // Foo()

Foo({})只会调用具有空列表的构造函数作为参数,copy-list-initialize任何构造函数的参数. [dcl.init] / 16:

If the destination type is a (possibly cv-qualified) class type:

— If

the initialization is direct-initialization […] constructors are considered. The applicable constructors

are enumerated (13.3.1.3), and the best one is chosen through overload

resolution (13.3).

The constructor so selected is called to

initialize the object, with the initializer expression or

expression-list
If no constructor applies, or

the overload resolution is ambiguous, the initialization is

ill-formed.

你有一个参数:空的braced-init-list.有一个列表初始化序列将{}转换为int,所以构造函数Foo(int)是通过重载分辨率来选择的.参数初始化为零,因为{}表示一个 value-intialization ,对于标量,这意味着一个 zero-initialization .

在cppreferences文档中也没有错误:对于(7)说明

7) in a functional cast expression or other direct-initialization,  with braced-init-list used as the constructor argument

这显然导致与上述引用相同的结果:使用(空)braced-init-list调用构造函数.

http://stackoverflow.com/questions/26788402/why-does-foo-invoke-foo0-instead-of-foo


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

算法时代

算法时代

Luke Dormehl / 胡小锐、钟毅 / 中信出版集团 / 2016-4-1 / CNY 59.00

世界上的一切事物都可以被简化成一个公式吗?数字可以告诉我们谁是适合我们的另一半,而且能和我们白头偕老吗?算法可以准确预测电影的票房收入,并且让电影更卖座吗?程序软件能预知谁将要实施犯罪,并且精确到案发时间吗?这些事听起来都像是科幻小说中的情节,但事实上,它们仅是日益被算法主宰的人类世界的“冰山一角”。 近年来随着大数据技术的快速发展,我们正在进入“算法经济时代”。每天,算法都会对展示在我们眼......一起来看看 《算法时代》 这本书的介绍吧!

Base64 编码/解码
Base64 编码/解码

Base64 编码/解码

MD5 加密
MD5 加密

MD5 加密工具

html转js在线工具
html转js在线工具

html转js在线工具