如何通过模板实现编译期依赖注入的自动注册与接口解耦？

本文共计1077个文字，预计阅读时间需要5分钟。

由于它的返回值是运行时可变的常量表达式（`constexpr`），而不是`consteval`，在模板参数推导或`requires`约束中可能会被错误地视为可构造的，而实际上可能依赖于未实例化的类型。典型现象是编译时通过，但在链接时出现错误，如`undefined reference to ServiceImpl::create()`，这表明类型存在，但工厂未实例化。

真正可靠的做法是用consteval函数配合SFINAE友好的探测机制：

template<typename T> consteval bool has_create_method() { if constexpr (requires { T::create(); }) { return std::is_same_v<decltype(T::create()), std::unique_ptr<T>>; } else { return false; } }

• requires { T::create(); } 先检查符号是否存在，避免硬编译错误
• 必须二次校验返回类型，否则static T* create()也能过
• 不要用std::is_invocable_r_v替代——它不参与SFINAE，会在模板实例化失败时直接报错而非静默剔除

如何让 ServiceRegistry<Interface> 在头文件里完成自动注册而不重复定义

核心矛盾在于：每个翻译单元（.cpp）包含该头文件时，都会尝试实例化静态注册器，导致ODR违规。