为什么只有在我大括号初始化对象时才需要从 int 到 float 的缩小转换？

Question

我遇到了我认为很奇怪的事情：

#include <vector>

int numqueues = 1;
std::vector<float> priorities{numqueues, 1.f };
//^^^ warning: narrowing conversion of numqueues from int to float

//std::vector<float> priorities(numqueues, 1.f );
//^^^ No warning or error. And it's not because it's parsed as a function declaration
// as I can call push_back in main.

int main()
{
    priorities.push_back(1);// No narrowing conversion needed
}

我已经用几个编译器试过了，这不会编译。

编辑：据说 initializer_list 优先，看起来确实如此，但我试图模仿 std::vector 并且在此示例中我没有得到缩小转换错误：

#include <vector>
#include <iostream>
#include <initializer_list>

template <typename T>
class MyVector
{public:
    MyVector(size_t s, float f) {
        std::cout << "Called constructor\n";
    }
    MyVector(std::initializer_list<T> init)
    {
        std::cout << "Called initializer list constructor\n";
    }

};

int main()
{

    MyVector<float> foo{ size_t(3), 2.f };
}

我做了同样的事情，用 size_t 和 float 初始化它，就像在另一个例子中一样，这个编译得很好。

Answer 1

在此声明中

std::vector<float> priorities{numqueues, 1.f };

编译器使用初始化列表构造函数。

vector(initializer_list<T>, const Allocator& = Allocator());

禁止初始化列表的窄化转换。

在此声明中

std::vector<float> priorities(numqueues, 1.f );

编译器使用指定元素数量及其初始值设定项的构造函数。

vector(size_type n, const T& value, const Allocator& = Allocator());

来自 C++ 14 标准（8.5.4 列表初始化）

2 一个构造函数是一个初始化列表构造函数，如果它的第一个 参数的类型为 std::initializer_list 或引用可能 某些类型 E 的 cv 限定 std::initializer_list ，或者 没有其他参数，否则所有其他参数都有 默认参数（8.3.6）。 [ 注意：Initializer-list 构造函数是 在列表初始化中优于其他构造函数

和（13.3.1.7 通过列表初始化进行初始化）

1 当非聚合类类型 T 的对象被列表初始化时 8.5.4 规定重载决议是根据 根据本节中的规则，重载决议选择 构造函数分两个阶段：

(1.1) — 最初，候选函数是初始化列表 类 T 的构造函数（8.5.4）和参数列表由 初始化器列表作为单个参数。

(1.2) — 如果没有找到可行的初始化列表构造函数，则重载 再次执行解析，其中候选函数都是 类 T 的构造函数和参数列表由 初始化列表的元素。

这是一个演示程序

#include <iostream>
#include <initializer_list>

struct A
{
    A( std::initializer_list<float> )
    {
        std::cout << "A( std::initializer_list<float> )\n";
    }
    
    A( size_t, float )
    {
        std::cout << "A( size_t, float )\n";
    }
};

int main() 
{
    A a1 { 1, 1.0f };
    A a2( 1, 1.0f );
    
    return 0;
}

程序输出是

A( std::initializer_list<float> )
A( size_t, float )

至于你的附加问题（8.5.4 列表初始化）

7 窄化转换是隐式转换

(7.3) — 从整数类型或无作用域枚举类型到 浮点类型，除非源是常量 表达式和转换后的实际值将适合 目标类型，并在转换回时生成原始值 原始类型，或

所以在这个列表中初始化

MyVector<float> foo{ size_t(3), 2.f };

使用适合浮点类型的常量表达式size_t( 3 )。

例如，如果在上面的演示程序中你将编写

size_t n = 1;

A a1{ n, 1.0f };

那么编译器应该会发出关于缩小转换的消息（至少MS VS 2019 C++编译器会发出这样的错误消息）。

Answer 2

来自cppreference on list initialisation。

list-initialization 通过以下方式限制允许的隐式转换 禁止：

• ...

• 从整数类型到浮点类型的转换，除非源是可以存储其值的常量表达式 完全符合目标类型

通常，列表初始化不会为您进行隐式转换。另外，因为std::vector 有一个构造函数vector( std::initializer_list<T> init, const Allocator& alloc = Allocator() );，它是被调用来构造vector 的构造函数。