具有统一初始化的 Auto 扩展为意外类型

考虑这个用 GCC 4.7.2 编译的短程序g++ -std=c++11 test.cc

#include <memory>
#include <queue>

struct type{
  type(int a) : v(a) {}
  int v;
};

typedef std::shared_ptr<type> type_ptr;

int main(){
  int value = 3;
  std::queue<type_ptr> queue;
  auto ptr{std::make_shared<type>(value)};
  queue.push(ptr);
}

编译器输出以下错误：

src/test.cc: In function ‘int main()’:
src/test.cc:15:17: error: no matching function for call to ‘std::queue<std::shared_ptr<type> >::push(std::initializer_list<std::shared_ptr<type> >&)’
src/test.cc:15:17: note: candidates are:
In file included from /usr/include/c++/4.7/queue:65:0,
                 from src/test.cc:2:
/usr/include/c++/4.7/bits/stl_queue.h:211:7: note: void std::queue<_Tp, _Sequence>::push(const value_type&) [with _Tp = std::shared_ptr<type>; _Sequence = std::deque<std::shared_ptr<type>, std::allocator<std::shared_ptr<type> > >; std::queue<_Tp, _Sequence>::value_type = std::shared_ptr<type>]
/usr/include/c++/4.7/bits/stl_queue.h:211:7: note:   no known conversion for argument 1 from ‘std::initializer_list<std::shared_ptr<type> >’ to ‘const value_type& {aka const std::shared_ptr<type>&}’
/usr/include/c++/4.7/bits/stl_queue.h:216:7: note: void std::queue<_Tp, _Sequence>::push(std::queue<_Tp, _Sequence>::value_type&&) [with _Tp = std::shared_ptr<type>; _Sequence = std::deque<std::shared_ptr<type>, std::allocator<std::shared_ptr<type> > >; std::queue<_Tp, _Sequence>::value_type = std::shared_ptr<type>]
/usr/include/c++/4.7/bits/stl_queue.h:216:7: note:   no known conversion for argument 1 from ‘std::initializer_list<std::shared_ptr<type> >’ to ‘std::queue<std::shared_ptr<type> >::value_type&& {aka std::shared_ptr<type>&&}’

指示 auto 类型扩展为初始值设定项列表而不是std::shared_ptr<type>;事实上取代{...} with = ...使代码编译为自动扩展为正确的类型。

我有点惊讶这个看似显而易见的用例未能达到预期的结果。特别是当我记得新的括号初始化语法被吹捧为初始化问题的最终解决方案时。

所以我的问题是：标准中是否有意这样做？或者这是一个疏忽，甚至是一个 gcc 错误？还是我只是想错了？

正如 Xeo 在评论中所说，这是标准行为。7.1.6.4 自动说明符 [dcl.spec.auto]第 6 段规定：

一旦类型a声明符 ID已根据 8.3 确定，声明变量的类型使用声明符 ID使用模板参数推导规则根据其初始值设定项的类型确定。让T是为变量标识符确定的类型d。获得P from T通过替换出现的auto使用新发明的类型模板参数U或者，如果初始化器是大括号初始化列表(8.5.4)，其中std::initializer_list<U>。为变量推导的类型d那么推导出来的就是A使用函数调用中的模板参数推导规则确定 (14.8.2.1)，其中P是函数模板参数类型和初始化程序d是相应的参数。如果 推导失败，声明格式不正确。

它也被广泛鄙视——有一个委员会正在审查的提案 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3681.html更改 C++14 的行为。 C++14 对广义 lambda 捕获的支持加剧了问题 https://groups.google.com/a/isocpp.org/forum/?fromgroups=#!searchin/std-proposals/brace-intialization/std-proposals/YTti2Vy1LGM/Z02smt4udEEJ.

更新：在厄巴纳（参见 CWG Motion 16N4251 WG21 2014-11 厄巴纳会议纪要 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4251.html) 委员会申请N3922 从花括号初始化列表自动扣除的新规则 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3922.htmlC++17 工作论文。他们决定修复特殊情况，允许auto推导出initializer_list通过增加another特例。auto以同样的方式工作复制列表初始化， 但对于直接列表初始化 from a 大括号初始化列表与单个元素auto直接从该元素推导出来。直接列表初始化从多元素大括号初始化列表现在格式不正确。

这意味着给定

auto x = {42};

x有类型std::initializer_list<int>, but in

auto x{42};

x is an int.