C++ 在可变模板上迭代'；s型参数

我有这样一个函数模板：

template <class ...A>
do_something()
{
  // i'd like to do something to each A::var, where var has static storage
}

模板
做某事
{
//我想对每个A：：var做一些事情，其中var有静态存储
}

我不能使用

Boost.MPL

。您能演示一下如何在没有递归的情况下执行此操作吗？

什么。为了创建包扩展的上下文，我使用了一个不执行任何操作（

dummy

）的函数的参数列表：

#包括
#包括
模板
无效虚拟（A&&…）
{
}
模板
空做某事
{
dummy（（A:：var=1）；//将每个变量设置为1
//或者，我们可以使用lambda：
[…（…）{}（（A:：var=1）…）；
//或std:：初始值设定项列表，保证从左到右
//评估顺序和相关副作用
自动列表={（A:：var=1）…}；
}
结构S1{static int var；}；int S1:：var=0；
结构S2{static int var；}；int S2:：var=0；
结构S3{static int var；}；ints3:：var=0；
int main（）
{
做某事；
std:：cout作为一个例子，假设您想要显示每个A:：var。我看到了三种实现方法，如下面的代码所示

关于选项2，请注意，标准未规定处理元素的顺序

#include <iostream>
#include <initializer_list>

template <int i>
struct Int {
    static const int var = i;
};

template <typename T>
void do_something(std::initializer_list<T> list) {
    for (auto i : list)
        std::cout << i << std::endl;
}

template <class... A>
void expand(A&&...) {
}

template <class... A>
void do_something() {

    // 1st option:
    do_something({ A::var... });

    // 2nd option:
    expand((std::cout << A::var << std::endl)...);

    // 3rd option:
    {
        int x[] = { (std::cout << A::var << std::endl, 0)... };
        (void) x;
    }
}

int main() {
    do_something<Int<1>, Int<2>, Int<3>>();
}

#包括
#包括
模板
结构整型{
静态常数int var=i；
};
模板
void do_something（std:：initializer_list）{
用于（自动i:列表）
std:：cout应该有帮助。我的函数中没有任何参数，引用的解决方案有参数。谁在乎是否有参数？这是关于扩展变量的，工作原理相同。通常在处理变量时：创建一个可以使用包扩展的上下文，将要执行的操作隔离到函数
func
，然后执行expa在上述上下文中，将包命名为
func（expr\u containing_pack）…
。我的解决方案：
[]（…）{}（（A:：var=1）；
。更改您的可能，我接受？实际上，它是Xeo的…在这种情况下，我想，可以添加逗号和0，即
[]（…）{}（（A:：var=1，0）.）
，还是我在说废话？这与我的一个建议类似。它有一个问题：处理元素的顺序没有被标准指定。例如，在这个例子中，GCC按照S3:：var、S2:：var和S1:：var的顺序处理元素。我通常使用
struct swallow{template swallow（T&…{}}
为此，使用
swallow{（A:：var=1）…}
，它强制执行从左到右的顺序。@user1095108:如果包是空的，您将得到一个零大小的数组，这是格式不正确的。我认为您可以使用：
std:：initializer\u list{（A:：var=1）}；
#include <iostream>
#include <initializer_list>

template <int i>
struct Int {
    static const int var = i;
};

template <typename T>
void do_something(std::initializer_list<T> list) {
    for (auto i : list)
        std::cout << i << std::endl;
}

template <class... A>
void expand(A&&...) {
}

template <class... A>
void do_something() {

    // 1st option:
    do_something({ A::var... });

    // 2nd option:
    expand((std::cout << A::var << std::endl)...);

    // 3rd option:
    {
        int x[] = { (std::cout << A::var << std::endl, 0)... };
        (void) x;
    }
}

int main() {
    do_something<Int<1>, Int<2>, Int<3>>();
}