统一初始化中的尾随逗号

Question

在统一初始化期间使用尾随逗号时是否存在任何潜在的语义差异？

std::vector< std::size_t > v1{5, }; // allowed syntax
std::vector< std::size_t > v2{10};

我可以使用尾随逗号将编译器编译为 select std::vector::vector(std::initializer_list< std::size_t >) 构造函数而不是 std::vector::vector(std::size_t, const std::size_t &) 还是有任何其他技巧与提到的语法？

我可以用它来检测是否存在 std::initializer_list-构造函数重载吗？

考虑以下代码，必须 select 编辑哪个构造函数？

struct A { A(int) { ; } A(double, int = 3) { ; } };
A a{1};
A b{2, };

此代码 is accepted by gcc 8 和 A(int) 在这两种情况下都是 selected。

Answer 1

没有。该逗号是让预处理器宏技巧在没有编译错误的情况下工作的让步。它与您的数据类型或其大小无关。

Answer 2

首先，C++ 语法规则使得尾部 , 对于 braced-init-list 是可选的。引用 dcl.init/1

A declarator can specify an initial value for the identifier being declared. The identifier designates a variable being initialized. The process of initialization described in the remainder of [dcl.init] applies also to initializations specified by other syntactic contexts, such as the initialization of function parameters ([expr.call]) or the initialization of return values ([stmt.return]).
initializer:
  brace-or-equal-initializer
  ( expression-list )
brace-or-equal-initializer:
  = initializer-clause
  braced-init-list
initializer-clause:
  assignment-expression
  braced-init-list
braced-init-list:
  { initializer-list ,opt }
  { designated-initializer-list ,opt }
  { }

其次，您不能完全覆盖重载决议系统。如果您使用这样的语法并且这样的 std::initializer_list 构造函数可用，它将始终使用 std::initializer_list 构造函数。

dcl.init.list/2:

A constructor is an initializer-list constructor if its first parameter is of type std::initializer_list or reference to possibly cv-qualified std::initializer_list for some type E, and either there are no other parameters or else all other parameters have default arguments. [ Note: Initializer-list constructors are favored over other constructors in list-initialization ([over.match.list])....

下面的程序打印 Using InitList:

#include <iostream>
#include <initializer_list>

struct X{
    X(std::initializer_list<double>){ std::cout << "Using InitList\n"; }
    X(int){ std::cout << "Using Single Arg ctor\n"; }
};

int main(){
    X x{5};
}

尽管 5 是 int 类型的文字，但它对 select 单参数构造函数应该有意义，因为它是完美匹配； std::initializer_list<double> 构造函数需要 double 的列表。但是，规则有利于 std::initializer_list<double>，因为它是一个 初始化列表构造函数 .

因此，即使是下面的程序也会因为缩小转换而失败：

#include <iostream>
#include <initializer_list>

struct Y{
    Y(std::initializer_list<char>){ std::cout << "Y Using InitList\n"; }
    Y(int, int=4){ std::cout << "Y Using Double Arg ctor\n"; }
};

int main(){
    Y y1{4777};
    Y y2{577,};
    Y y3{57,7777};
}

回应您在下面的评论，“如果 std::initializer_list 没有重载，或者它不是第一个构造函数的参数怎么办？” - 然后重载解析不选择它。演示：

#include <iostream>
#include <initializer_list>

struct Y{
    Y(int, std::initializer_list<double>){ std::cout << "Y Using InitList\n"; }
    Y(int, int=4){ std::cout << "Y Using Double Arg ctor\n"; }
};

int main(){
    Y y1{4};
    Y y2{5,};
    Y y3{5,7};
}

打印：

Y Using Double Arg ctor
Y Using Double Arg ctor
Y Using Double Arg ctor

如果没有 initializer-list constructor 可用，那么 {initializer-list...,} initializer 几乎退回到 direct initialization根据 dcl.init/16, whose semantics are covered by the proceeding paragraph of dcl.init/16

统一初始化中的尾随逗号

Trailing comma in uniform initialization

c++

language-lawyer

uniform-initialization

c++14

c++17