依赖于模板参数的条件存储类

Question

以下内容似乎不是有效的c++(-std=c++2a(。我想根据模板参数b:更改var的存储类

#include <type_traits>
template <bool b>
void f() {
typename std::conditional<b, static int, int>::type var;
}

Answer 1

存储类说明符是对象声明的一部分，而不是对象类型的一部分。

因此，它不能在期望类型的地方使用。

扩展cigien的专业化建议，您可以将变量包装到一个辅助容器类中。

template<bool b> struct A;
template<> struct A<true> {
inline static int var = 0;
};
template<> struct A<false> {
int var = 0;
};
template <bool b>
void f() {
A<b> a;
int& var = a.var;
do_something_with(var);
}

注意，这样做的语义非常不同——一个是在每次调用的自动存储中创建的，另一个是初始化一次并在调用之间共享的。在线程环境中，前者是安全的，后者不是，等等。

Answer 2

您可以提供f的完整专业化，如下所示：

template <bool b> void f();
template <> void f<true>()
{
static int var;
}
template <> void f<false>()
{
int var;
}

这应该与你试图达到的效果相同。