Question

我正在使用g++-4.6.1 --std=c++0x并收到警告我似乎无法用这段代码解读：

#include <vector>
#include <tuple>

int main()
{
    std::tuple<std::vector<int>, int> t{ {1, 2, 3}, 10};
}

我收到以下警告：

scratch.cpp: In function ‘int main()’:
scratch.cpp:6:55: warning: deducing ‘_U1’ as ‘std::initializer_list<int>’ [enabled by default]
/usr/local/include/c++/4.6.1/tuple:329:9: warning:   in call to ‘std::tuple<_T1, _T2>::tuple(_U1&&, _U2&&) [with _U1 = std::initializer_list<int>, _U2 = int, _T1 = std::vector<int>, _T2 = int]’ [enabled by default]
scratch.cpp:6:55: warning:   (you can disable this with -fno-deduce-init-list) [enabled by default]

查看实施情况：

template<typename _T1, typename _T2>
class tuple<_T1, _T2> : public _Tuple_impl<0, _T1, _T2>
    {
      typedef _Tuple_impl<0, _T1, _T2> _Inherited;

    public:
      //...

      template<typename _U1, typename _U2>
        explicit
        tuple(_U1&& __a1, _U2&& __a2)
        : _Inherited(std::forward<_U1>(__a1), std::forward<_U2>(__a2)) { }
    //...
}

似乎抱怨它是从initializer_list<int>（我的代码中为{1, 2, 3}）转发到std::vector<int>，这将是std::tuple中的第一个类型}。这对我来说似乎完全没问题。

所以我的问题是：这个警告意味着什么？

Answer 1

这比标准的引用更具猜测性，但我认为这是有道理的。

问题在于括号括起来的列表可能意味着许多事情。它可以是一个初始化列表，但是根据统一初始化，它也可以是任何数量的其他东西，例如聚合初始化器或简单的构造函数参数。

考虑以下情况：

struct Bar { Bar(int, int, int){} };

void foo(const std::vector<int> & v);
void zoo(const Bar & v);

我可以同时拨打foo({1,2,3})和zoo({1,2,3})。因为两个函数的参数类型是已知的，所以没有歧义。然而foo的参数推断为初始化列表，而zoo的参数是统一初始化构造函数调用。

在元组情况下，问题是所有涉及的类型都是模板。构造函数的参数类型必须推导;在函数调用时它不是已知。它的真正作用只在函数 body 中显而易见。

由于构造元组成员可能有很多方法，因此这种推论可能含糊不清或只是错误，因此编译器会警告您正在进行假设。

事实上，你可以非常简单地构建这种假设的失败：

std::tuple<Bar, std::vector<int>> s{{1,2,3}, {1,2,3}};

这将无法构造第一个元组成员，因为不正确地推断了大括号列表。编写元组的唯一“好”方法是明确的：

std::tuple<Bar, std::vector<int>> s{Bar{1,2,3}, std::vector<int>{1,2,3}};

Answer 2

GCC警告，因为deducing initializer lists是一个扩展名。我认为这里的警告符合要求，因为它应该算作实施的诊断。

C ++警告：将_U1推导为std :: initializer_list <int> </int>

2 个答案: