C++自定义类如何实现算术类型初始化为0、其他用默认构造？

核心思路 #

利用C++标准库<type_traits>提供的编译期类型判断能力，区分算术类型（如int、double、char等）和非算术类型，为构造函数自动匹配对应的默认初始值。

方案一：直接使用编译期条件表达式 #

在构造函数的默认参数中，通过类型判断模板实现分支逻辑，编译期就确定初始值：

#include <type_traits>

template<typename T>
struct my_vector {
    // 构造函数：size为元素个数，initial_element默认值自动适配类型
    my_vector(size_t size, const T& initial_element = 
              std::is_arithmetic_v<std::remove_cv_t<T>> ? T{0} : T{}) {
        // 此处添加内存分配、元素初始化的业务逻辑
        // 例如：遍历内存空间，将每个元素设置为initial_element
    }
};

代码说明 #

• std::remove_cv_t<T>：处理带const/volatile修饰的算术类型（如const int），保证类型判断的准确性。
• std::is_arithmetic_v<std::remove_cv_t<T>>：编译期布尔常量，判断当前类型是否属于算术类型。
• 三元表达式在编译期完成分支选择，无运行时开销：
  • 算术类型：用T{0}显式初始化为0（如int{0}、double{0.0}）。
  • 非算术类型：用T{}调用其默认构造函数（如自定义类的默认构造逻辑）。

方案二：使用辅助模板特化 #

如果需要更清晰的代码结构或后续扩展类型规则，可以定义辅助模板封装初始值逻辑：

#include <type_traits>

// 通用模板：非算术类型返回默认构造实例
template<typename T, bool = std::is_arithmetic_v<std::remove_cv_t<T>>>
struct default_initializer {
    static constexpr T get() {
        return T{};
    }
};

// 特化模板：算术类型返回初始化为0的实例
template<typename T>
struct default_initializer<T, true> {
    static constexpr T get() {
        return T{0};
    }
};

template<typename T>
struct my_vector {
    my_vector(size_t size, const T& initial_element = default_initializer<T>::get()) {
        // 内存分配与元素初始化逻辑
    }
};

测试示例 #

// 测试算术类型
my_vector<int> int_vec(5);       // 所有元素初始化为0
my_vector<double> double_vec(3); // 所有元素初始化为0.0
my_vector<const char> char_vec(2); // 所有元素初始化为'\0'（即0）

// 测试自定义非算术类型
struct UserClass {
    int value;
    UserClass() : value(42) {} // 默认构造函数初始化value为42
};
my_vector<UserClass> class_vec(2); // 所有元素调用默认构造，value为42

注意事项 #

• 对于算术类型，T{0}和T{}效果通常一致（比如int{}也会初始化为0），但T{0}更明确表达"初始化为0"的设计意图。
• 若自定义类支持从0构造但不属于算术类型，该逻辑仍会调用其默认构造函数，符合需求。

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