如何创建带默认类型的模板类，支持仅传入值参数实例化？

你写的Example<1>编译失败，是因为类模板的第一个参数是类型参数（typename T），编译器期望传入一个类型（比如int），但你传入的是数值1，类型不匹配，因此报错。

根据你使用的C++版本，有两种实现方式：

方式一：C++20及以上（推荐） #

利用C++20的auto非类型模板参数，调整模板参数顺序，让数值参数在前，类型参数默认由数值推导：

#include <type_traits>

template <auto V = 0, typename T = decltype(V)>
class Example
{
    // 可选：确保数值能转换为指定类型
    static_assert(std::is_convertible_v<decltype(V), T>, "数值必须能转换为指定类型");
public:
    static constexpr T value = static_cast<T>(V);
};

使用示例：

• Example<1> a;：编译通过，T自动推导为int，V=1
• Example<> a; 或 Example a;：编译通过，默认T=int，V=0
• Example<1, long> b;：显式指定T=long，V=1
• 如果想保留类似原代码Example<int,1>的写法，可以定义别名模板兼容：

  template <typename T, T V>
  using ExampleTV = Example<V, T>;
  

  之后用ExampleTV<int, 1> c;替代原写法即可。

方式二：兼容C++17及更早版本 #

通过主模板+别名模板的组合，实现两种写法的兼容：

#include <type_traits>

// 主模板：支持指定类型和数值
template <typename T, T V = T{}>
class Example
{
public:
    static constexpr T value = V;
};

// 辅助别名模板：支持从数值推导类型
template <auto V>
using ExampleFromValue = Example<decltype(V), V>;

使用示例：

• Example<int,1> a;：编译通过（原写法保留）
• Example<int> a;：编译通过（使用默认数值0）
• ExampleFromValue<1> b;：编译通过，等价于Example<int,1>

由于C++模板参数的限制，同一个类模板无法同时接受类型参数在前和数值参数在前的写法（模板参数要么是类型，要么是非类型，不能混合），因此需要通过别名模板辅助实现两种写法的兼容。

内容的提问来源于stack exchange，提问作者Crimsoon