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


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

查看所有标签

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

数学之美

数学之美

吴军 / 人民邮电出版社 / 2012-5-1 / 45.00元

几年前,“数学之美”系列文章原刊载于谷歌黑板报,获得上百万次点击,得到读者高度评价。读者说,读了“数学之美”,才发现大学时学的数学知识,比如马尔可夫链、矩阵计算,甚至余弦函数原来都如此亲切,并且栩栩如生,才发现自然语言和信息处理这么有趣。 今年,作者吴军博士几乎把所有文章都重写了一遍,为的是把高深的数学原理讲得更加通俗易懂,让非专业读者也能领略数学的魅力。读者通过具体的例子学到的是思考问题的......一起来看看 《数学之美》 这本书的介绍吧!

URL 编码/解码
URL 编码/解码

URL 编码/解码

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

html转js在线工具

HEX CMYK 转换工具
HEX CMYK 转换工具

HEX CMYK 互转工具