c – 表达式包含未展开的参数包

发布时间：2020-12-16 04:58:57 所属栏目：百科来源：网络整理

导读：不知怎的,我不知道如何扩展可变的模板参数包.以下代码有什么问题？ #include iostreamtemplate typename Tstruct print_one{ static void run(const T t) { std::cout t ' '; }};templatetypename... Argsvoid print_all(Args... args){ // the next line do

不知怎的,我不知道如何扩展可变的模板参数包.以下代码有什么问题？

#include <iostream>

template <typename T>
struct print_one
{
    static void run(const T& t)
    {
        std::cout << t << ' ';
    }
};

template<typename... Args>
void print_all(Args&&... args)
{
    // the next line doesn't compile:
    print_one<Args>::run(std::forward<Args>(args))...;
}

int main()
{
    print_all(1.23,"foo");
}

Clang说,Expression包含未展开的参数包的Args和args.为什么？

解决方法

…必须在函数调用括号内进行：

print_one<Args>::run(std::forward<Args>(args)...);

显然,这不会对你的函数只有一个参数,所以你需要找到一种方法来扩展调用到函数调用或其他允许的结构：

// constructing a dummy array via uniform initialization
// the extra 0 at the start is to make it work when the pack is empty
int dummy[]{0,(print_one<Args>::run(std::forward<Args>(args)),0)...};

// or,if your compiler doesn't support uniform initialization
int dummy[] = {0,calling a dummy function
template<typename... Args> void dummy(Args...) {}
dummy((print_one<Args>::run(std::forward<Args>(args)),0)...);

// or,constructing a temporary dummy object
struct dummy { dummy(std::initializer_list<int>) {} };
dummy{(print_one<Args>::run(std::forward<Args>(args)),constructing a temporary initializer list
std::initializer_list<int>{(print_one<Args>::run(std::forward<Args>(args)),0)...};

请注意,使用逗号运算符将print_one的void返回值转换为适合放置在参数列表或初始化程序表达式中的值.

初始化器列表表单优先于函数调用表单,因为它们(应该是)排序的LTR函数调用参数不是.

参数包扩展的形式可以由14.5.3 [temp.variadic]覆盖：

4 – […] Pack expansions can occur in the following contexts:

[…]

您的原始代码是非法的,因为尽管在文本上可能会出现一个由多个逗号运算符表达式组成的语句,这不是14.5.3：4允许的上下文.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!