为什么我不能用 l 值初始化这个 std：：vector？

TL的;博士

该问题不是特定/限于的，而是下面从标准中引用的规则的结果。std::vector

让我们根据具体情况看看发生了什么，以及为什么我们在使用时会得到提到的缩小转换错误/警告。lvalue

案例 1

在这里，我们考虑：

int lvalue = 6; // lvalue is not a constant expression 

//---------------------------v------------------->constant expression so works fine
std::vector<int*> myvector { 6 };
std::vector<int*> myvector{ lvalue };
//--------------------------^^^^^^--------------->not a constant expression so doesn't work 

首先注意的是，没有采用初始值设定项列表的初始值设定项列表的初始值设定项列表。std::vector<int*>int

因此，在这种情况下，将使用 ctor。现在让我们看看缩小转换错误/警告的原因。size_t count

当使用名为 while not 的变量时，我们收到错误/警告的原因是，在前一种情况下，它不是常量表达式，因此我们有一个缩小的转换。这可以从 dcl.init.list#7 中看出，它指出：lvalueintlvalue

缩小转换范围是隐式转换

• 从整数类型或无作用域枚举类型到不能表示原始类型的所有值的整数类型，除非源是常量表达式，其整数升级后的值将适合目标类型。

（强调我的）

这意味着从向量 ctor 的类型为参数的转换（左值表达式）是缩小转换。但是从 prvalue int 到向量参数的转换并不是缩小转换。lvalueintsize_tstd::vector::vector(size_t, /*other parameters*/)6size_tstd::vector::vector(size_t, /*other parameters*/)

为了证明情况确实如此，让我们看一些例子：

示例 1

int main()
{
//----------------v---->no warning as constant expression
    std::size_t a{1};
    
    int i = 1;
//----------------v---->warning here i is not a constant expression
    std::size_t b{i};  

    constexpr int j = 1;
//----------------v---->no warning here as j is a constexpr expression
    std::size_t c{j};
    return 0;
}

示例 2

struct Custom 
{
  Custom(std::size_t)
  {
      
  }
};
int main()
{
//-----------v---->constant expression
    Custom c{3}; //no warning/error here as there is no narrowing conversion
    
    int i = 3;  //not a constant expressoion

//-----------v---->not a constant expression and so we get warning/error
    Custom d{i}; //warning here of narrowing conversion here
    

    constexpr int j = 3; //constant expression 

//-----------v------>no warning here as j is a constant expression and so there is no narrowing conversion
    Custom e{j};  
    return 0;
}

演示

案例 2

在这里，我们考虑：

//------------v-------------------------->note the int here instead of int* unlike case 1 
std::vector<int> myvector{num_elements};//this uses constructor initializer list ctor 

在这种情况下，有一个初始值设定项列表 ctor 可用于，它将优先于构造函数，因为我们在这里使用了大括号而不是括号。因此，将创建一个大小的向量。有关更多详细信息，请参阅为什么在使用带支撑的初始值设定项列表时首选 std：：initializer_list 构造函数？。std::vector<int>size_t count{}()1

另一方面，当我们使用：

std::vector<int> myvector(num_elements); //this uses size_t ctor

这里 的 ctor 将用作初始值设定项列表 ctor 在这种情况下甚至不可行，因为我们使用了括号。因此，将创建一个大小的向量。您可以使用下面给出的示例来确认这一点：size_tstd::vector()6

struct Custom 
{
   
  Custom(std::size_t)
  {
      std::cout<<"size t"<<std::endl;
  }
  Custom(std::initializer_list<int>)
  {
      std::cout<<"initializer_list ctor"<<std::endl;
  }
};
int main()
{
    Custom c(3); //uses size_t ctor, as the initializer_list ctor is not viable 
    return 0; 
}