Question

此代码在Clang 3.5中运行良好：

#include <iostream>
#include <string>

void callFuncs() {}

template<typename Func, typename ...Funcs>
void callFuncs(const Func &func, const Funcs &...funcs)
{
    func();
    callFuncs(funcs...);
}

template<typename ...Types>
void callPrintFuncs()
{
    callFuncs(([] { std::cout << Types() << std::endl; })...);
}

int main()
{
    callPrintFuncs<int, float, double, std::string>();
}

但是，在GCC 4.9中，我收到了以下错误：

test.cpp: In lambda function:
test.cpp:16:54: error: parameter packs not expanded with '...':
     callFuncs(([] { std::cout << Types() << std::endl; })...);
                                                      ^
test.cpp:16:54: note:         'Types'
test.cpp: In function 'void callPrintFuncs()':
test.cpp:16:58: error: expansion pattern '<lambda>' contains no argument packs
     callFuncs(([] { std::cout << Types() << std::endl; })...);

那么，哪个编译器有bug，Clang或GCC？至少，Clang的行为对我来说是最有意义的。

Answer 1

gcc在这里打破了。标准中有针对未扩展参数包的规则，但扩展了上述参数包。

它在中最内层语句结束后扩展，但标准不要求在每个语句的末尾扩展参数包。

gcc错误的事实是可以理解的;天真地，您认为参数包只能在一个语句中，并且在语句末尾未能扩展是致命的。但是lambdas允许你在语句中嵌套语句。

一般的解决方法是传入一个lambda并传入一个＆＃34;标记＆＃34;键入它。

template<class T>struct tag_t{using type=T;}; template<class Tag>using type_t=typename Tag::type; template<typename Func, typename ...Ts> void callOnEachOf(Func&&func, Ts&&...ts) { using discard=int[]; (void)discard{0,((void)( func(std::forward<Ts>(ts)) ),0)...}; } template<typename ...Types> void callPrintFuncs() { callOnEachOf( [](auto tag){ using Type=type_t<decltype(tag)>; std::cout << Type() << std::endl; }, tag_t<Types>... ); }

为参数包的每个参数扩展lambda：Clang vs. GCC

1 个答案: