c++ - 在可变参数模板中使用 lambda 调用 std::make_tuple - 这应该在 C++11 中工作吗？

Question

在 C++11 中，lambda 函数是一个对象，应该可以用它调用 make_tuple，对吗？

void foobar() {
    auto t = std::make_tuple([](){ std::make_shared<int>(); });
}

这段代码对我有用。

现在如果我们添加可变参数模板会发生什么:

#include <tuple>
#include <memory>

template <class... T>
void foobar() {
    auto t = std::make_tuple([](){ std::make_shared<T>(); }...);
}

int main(int, char**)
{
    foobar<int, float, double>();
    return 0;
}

这个无法在 GCC 4.7.2 中编译

main.cpp: In lambda function:
main.cpp:6:54: error: parameter packs not expanded with '...':
main.cpp:6:54: note:         'T'
main.cpp: In function 'void foobar()':
main.cpp:6:57: error: expansion pattern '#'lambda_expr' not supported by dump_expr#<expression error>' contains no argument packs
main.cpp: In instantiation of 'void foobar() [with T = {int, float, double}]':
main.cpp:11:29:   required from here

我想知道，这段代码是否符合标准？

Answer 1

这是 gcc 中的一个已知错误:http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41933 (最初的例子是一个不同的模式，涵盖了参数包的捕获，但潜在的问题和合并的错误是 gcc 根本没有实现 lambdas 和 variadics 的交集)。

就标准而言，它是完全可以接受的代码。