c++ - 可互换使用的类型和非类型模板参数

Question

是否可以在 C++ 中声明一些类，以便允许将整数值或类型作为模板参数传递？

像这样:

#include <iostream>
using namespace std;

template <auto I>
struct Foo {};

int main()
{
    Foo<int> foo1;
    Foo<1> foo2;
    return 0;
}

Answer 1

不，那是不可能的。作为解决方法，您可以使用 std::integral_constant 以将值作为类型均匀传递。

template <typename I>
struct Foo {};

int main()
{
    Foo<int> foo1;
    Foo<std::integral_constant<int, 1>> foo2;
}

使用C++17，你可以定义

template <auto I>
using constant = std::integral_constant<decltype(I), I>;

避免一些样板。