c++ - 如何将变量模板作为模板参数传递

This question already has an answer here:

Can a variable template be passed as a template template argument?

(1个答案)

7个月前关闭。

我知道，我可以像这样将类模板作为模板参数传递:

template <template <class> class ClassTemplate>
void foo()
{
    ClassTemplate<int> x;
}

int main()
{
    foo<std::optional>();
}

但是假设我有一个可变模板:

template <class T>
constexpr bool IsBig = sizeof(T) >= sizeof(void*);

如何将其作为模板参数传递？有没有简单的解决方案？我猜该语言根本不支持它。这不起作用:

template <template <class> bool VariableTemplate>         // fictional C++ syntax
void foo()
{
    bool b = VariableTemplate<int>;
}

int main()
{
    foo<IsBig>();
}

标准化委员会是否正在努力将上述语法(或类似语法)作为新功能纳入C++？

我没有找到简单的解决方案。我想这就是所有类型特征当前都由STL中的类(具有...::type和...::value成员)表示的原因。我想避免使用类作为特征。例如，实现IsBig的直接方法是变量模板。

最佳答案

您不能使用变量模板直接执行此操作，但是有一个简单的解决方法:

template<class T>
constexpr bool IsBig = sizeof(T) >= sizeof(void*);

template<class T>
struct IsBigWrapperA {
    static constexpr auto value = IsBig<T>;

    constexpr operator decltype(value)() const {
        return value;
    }
};

template <template<class> class VariableTemplateWrapper>
void foo() {
    bool b = VariableTemplateWrapper<int>();
}

int main() {
    foo<IsBigWrapperA>();
}

然后，我们可以有一个宏(yeah ...)，以允许使用通用变量模板包装器:

#define CREATE_WRAPPER_FOR(VAR)                    \
  template<typename T>                             \
  struct VAR##Wrapper {                            \
      static constexpr auto value = VAR<T>;        \
      constexpr operator decltype(value)() const { \
          return value;                            \
      }                                            \
  };

// need to call the macro to create the wrapper
CREATE_WRAPPER_FOR(IsBig)

template<template<class> class VariableTemplateWrapper>
void foo() {
    bool b = VariableTemplateWrapper<int>();
}

int main() {
    foo<IsBigWrapper>();
}

代码:https://godbolt.org/z/gNgGhq

关于c++ - 如何将变量模板作为模板参数传递，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/61664468/

上一篇：c++ - 为什么我退出循环后我的 map 值被重置

下一篇：c++ - 使用Bandicam库

相关文章：

c++ - 给定传递给它的参数类型，如何确定函数参数的类型？

c++ - 是否可以通过 lambda 将变量模板传递给函数？

c++ - 类型到值元函数可以用作 C++14 中的变量别名吗？

c++ - 如何在模板变量定义中引入static_assert

c++ - 我无法编译 boost - 找不到 *.o 文件

c++ - 我的指针有什么问题(open_stackdumpfile 错误)？

c++ - STL 算法的谓词

c++ - 你能模板化一个没有模板化的子类吗？

c++ - 模板类中的变量模板 - 意外错误(可能的错误？)