如何在C++中实现类似Rust Default trait的延迟类型约束

在C++20及以后版本中，我们可以利用Concepts和模板特化实现类似Rust里延迟生效的类型约束效果——核心是把约束绑定到特定成员函数而非整个类模板，只有调用该函数时才会检查约束是否满足。

基础实现：为成员函数单独添加Concept约束 #

以模拟Rust中Box<T>的Default trait实现为例，我们不给Box类模板本身加约束，只给default()静态成员函数单独绑定Concept，这样约束仅在调用该函数时生效。

示例代码 #

首先定义对应Rust Default trait的DefaultConstructible Concept：

#include <concepts>
#include <memory>

// 定义Concept：要求类型支持默认构造
template<typename T>
concept DefaultConstructible = std::default_initializable<T>;

// 模拟Box类模板
template<typename T>
class Box {
private:
    std::unique_ptr<T> ptr;
public:
    // 普通构造函数，无类型约束
    explicit Box(T* p) : ptr(p) {}

    // 仅当调用此函数时，才检查T是否满足DefaultConstructible
    static Box<T> default() requires DefaultConstructible<T> {
        return Box(new T());
    }

    // 其他无约束的成员函数
    T* get() const { return ptr.get(); }
};

效果验证 #

• 不调用Box::default()时，即使T不可默认构造，也能正常使用Box的其他功能：

  // 不可默认构造的类型
  struct NonDefault {
      NonDefault(int) {}
  };
  
  int main() {
      // 正常实例化并使用Box<NonDefault>，无编译错误
      Box<NonDefault> b(new NonDefault(42));
      // 若调用以下代码，会触发编译错误（NonDefault不满足约束）
      // Box<NonDefault>::default();
      return 0;
  }
  

• 调用Box::default()时，编译器才会检查T的约束，完全符合Rust中延迟约束的逻辑。

进阶：外部trait式实现的延迟约束 #

如果要模拟Rust中为外部类型实现trait的场景，可以结合模板特化和Concept，把约束绑定到特化模板上，只有使用该特化时才触发检查。

示例：模拟外部Default实现 #

// 定义模拟trait的模板
template<typename T>
struct Default;

// 为Box<T>特化Default，仅当T满足DefaultConstructible时生效
template<DefaultConstructible T>
struct Default<Box<T>> {
    static Box<T> create() {
        return Box<T>::default();
    }
};

// 使用示例
int main() {
    // T满足约束时，可正常调用
    auto int_box = Default<Box<int>>::create();
    // 若T不满足，调用Default<Box<NonDefault>>::create()会编译失败
    return 0;
}

核心注意事项 #

• 约束仅绑定到特定成员函数或特化模板，而非整个类模板，这是实现延迟生效的关键。
• 依赖C++20的Concepts特性，确保编译期检查且错误提示清晰。
• 不要在类模板的模板参数列表中直接添加约束，否则整个类的实例化都会受限于该约束，无法实现延迟效果。

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