int 的 emplace_back

对于这个提案

v.emplace_back({1});

问题是当使用模板参数时，模板参数的类型不是从花括号参数中推断出来的。并且该函数emplace_back使用模板参数。

来自 C++ 标准（14.8.2.1 Deducing template arguments from a function call）

1 模板参数推导是通过将每个函数模板参数类型（称为 P）与调用的相应参数类型（称为 A）进行比较来完成的，如下所述。如果从 P 中移除引用和 cv 限定符给出某些 P0 的 std::initializer_list 并且参数是初始化列表 (8.5.4)，则对初始化列表的每个元素执行推导，将 P0 作为函数模板参数类型和初始化元素作为其参数。否则，初始化列表参数会导致参数被视为非推导上下文

您可以使用以下类声明示例模拟相同的错误

#include <iostream>
#include <initializer_list>

struct A
{
    template <typename ...T>
    void f( T &&... ) const {}
};

int main() 
{
    A().f( { 1 } );

    return 0;
}

编译器可能会发出以下诊断消息

prog.cpp: In function 'int main()':
prog.cpp:13:15: error: no matching function for call to 'A::f(<brace-enclosed initializer list>)'
  A().f( { 1 } );
               ^
prog.cpp:8:7: note: candidate: void A::f(T&& ...) const [with T = {}]
  void f( T &&... ) const {}
       ^
prog.cpp:8:7: note:   candidate expects 0 arguments, 1 provided

如果emplace_back用非模板方法替换push_back，则相应的调用将编译，因为函数参数的类型从声明的实例化向量的类型中已知，并且是类型int。

因此，您将明确需要指定函数模板参数的类型

例如，

#include <iostream>
#include <initializer_list>

struct A
{
    template <typename ...T>
    void f( T &&... ) const {}
};

int main() 
{
    A().f<int>( { 1 } );

    return 0;
}

或者为了emplace_back

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

int main() 
{
    std::vector<int> v;

    v.emplace_back<int>( { 1 } );

    for ( int x : v ) std::cout << x << ' ';
    std::cout << std::endl;

    return 0;
}

将程序输出到控制台

1

或@alexolut在评论中建议的示例

#include <iostream>
#include <vector>

struct S 
{
    S(std::initializer_list<int>) {}
};

int main() 
{
    std::vector<S> v;
    v.emplace_back<std::initializer_list<int>>({1});
}

关于给定调用中的表达式

v.emplace_back(int{1});

那么这里使用显式类型转换，即所谓的函数式表示法。

来自 C++ 标准（5.2.3 显式类型转换（函数符号））

3 因此，简单类型说明符或类型名称说明符后跟花括号初始化列表创建指定类型直接列表初始化 (8.5.4) 的临时对象，具有指定的花括号初始化列表，及其value 是作为 prvalue 的临时对象。