仅使用类型参数的变量模板

如果你的编译器不支持C++ 17:

template <typename ...ts>
void f() {
    for ( const auto &j : { ts::i... } )
        i += j;
}

在C++ 17中,您的类将仅仅是

class a {

public:
    a() : i(2) {}

    template <typename ...ts>
    void exec() {
        ((i += ts::i), ...); // Folding expression // C++17
        std::cout << "a::()" << std::endl;
    }

    int i;
};

在C++ 11中也是可能的,但是更冗长。

代码未编译的原因:

1. 专门化模板的语法稍有不同。
2. 你需要把最一般的情况放在第一位。
3. 不能部分地专门化函数,只能指定类。
4. 类内不允许部分专用化,只允许在命名空间中进行。

这里是C++ 11的一个例子。

#include <iostream>

template<typename t, typename ...ts>
class a {
public:
    static constexpr int x = t::i + a<ts...>::x;
};

template<typename t>
class a<t> {
public:
    static constexpr int x = 2 + t::i;
};

struct b {
    static constexpr int i = -9;
};

struct c {
    static constexpr int i = 4;
};

int main()
{
    constexpr int result = a<b,c>::x;
    std::cout << result << std::endl;
}

请记住,模板是在编译期间计算的,因此,为了优化起见,最好以允许 constexpr .