能否不将SegmentTree设为模板类，在构造时推导其模板参数？

核心结论 #

无法直接实现你描述的需求，核心原因和C++的模板参数作用域规则相关：

• 模板参数的作用域是绑定到它所属的声明实体的：如果模板参数定义在成员函数（包括构造函数）层面，它仅在该函数的上下文内生效，无法穿透到整个类的作用域，也就无法用来定义类的成员变量、其他成员函数的参数/返回值等需要在类定义阶段就确定类型的内容。
• 你当前示例代码中的template<typename T> using data_type = T没有实际作用：每次使用这个别名都需要显式指定T，和类本身的实例没有绑定关系；构造函数的模板参数T仅在构造函数调用时存在，类实例创建完成后就无法再获取到这个类型。

可选替代方案 #

方案1：使用类模板+CTAD（类模板实参推导，C++17及以上支持） #

如果你的核心诉求是调用构造函数时不需要显式写模板参数，而非完全禁止类本身是模板，这个方案可以完全对齐你要的使用体验：

#include <vector>
#include <functional>

template<typename T = int>
class SegmentTree final {
public:
    using data_type = T;
    // 无参构造默认用int类型
    explicit SegmentTree(size_t size) : data(size) {}
    // 带初始值的构造函数，可自动推导T的类型
    explicit SegmentTree(const std::vector<T>& init_data) : data(init_data) {}
private:
    std::vector<data_type> data;
    // 其他查询、修改接口都可以直接用data_type类型
};

// 调用示例，不需要显式写模板参数：
// SegmentTree st1(100); // 自动推导T为int
// std::vector<double> arr = {1.1, 2.2, 3.3};
// SegmentTree st2(arr); // 自动推导T为double

方案2：类型擦除 #

如果你坚持不能把类定义为模板，可以用std::any、std::variant或者自定义类型擦除包装来存储不同类型的数据，但是会带来额外的性能开销，同时代码复杂度会大幅提升，也失去了编译期的类型检查能力，一般不推荐用于线段树这种对性能要求高的场景。

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