我可以重载模板变量吗？

Question

我想这样声明：

template <typename T>
constexpr enable_if_t<is_integral_v<T>, int[]> foo = { 1, 2 };

template <typename T>
constexpr enable_if_t<is_floating_point_v<T>, int[]> foo = { 10, 20, 30 };

但是当我尝试I'm getting this error:

错误：template<class T> constexpr std::enable_if_t<std::is_floating_point<_Tp>::value, int []> foo的重新声明
注意：之前的声明template<class T> constexpr std::enable_if_t<std::is_integral<_Tp>::value, int []> foo<T>

我觉得这应该是合法的，因为为任何给定的模板参数定义的foo 永远不会超过一个。我可以做些什么来帮助编译器理解这一点吗？

Answer 1

没有重载。

使用 enable if 的声明很好，但不能有多个，因为变量不可重载。

有了专业化，就像上课一样，它工作得很好：

#include <iostream>
#include <type_traits>

using namespace std;

template <typename T, typename = void>
constexpr int foo[] = {10, 20, 30};

template <typename T>
constexpr int foo<T, enable_if_t<is_integral_v<T>>>[] = { 1, 2 };


int main() {
    cout << foo<int>[0] << endl;
    cout << foo<float>[0] << endl;
}

由于它没有超载，单个std::enable_if 就足够了。 enable if 被认为比没有特化更特化，只要满足条件就会被采用，保留非整型模板参数的默认情况。

Live example