C++中如何强制两个模板实例类型参数共用同一模板类型实参？

要实现你需要的功能，核心思路是从传入的模板实例中提取其模板参数，再通过C++20的Concepts约束所有传入实例的模板参数一致，同时无需修改原模板类，也不需要额外的显式模板参数。

步骤1：实现模板参数萃取器 #

首先定义一个类型萃取工具，用来从单参数模板的实例中提取出它的模板参数T，这个工具不需要修改原模板类：

#include <type_traits>

// 通用模板，用于匹配任意类型
template <typename>
struct ExtractTemplateParam;

// 特化版本：匹配单参数模板的实例，提取其模板参数T
template <template <typename> typename Template, typename T>
struct ExtractTemplateParam<Template<T>> {
    using type = T;
};

// 辅助别名，简化萃取器的使用
template <typename Instance>
using ExtractTemplateParam_t = typename ExtractTemplateParam<Instance>::type;

步骤2：定义Concept约束模板实例类型 #

接下来定义一个Concept，用来验证传入的类型是否是单参数模板的实例（确保萃取器能正常工作）：

template <typename Instance>
concept SingleParamTemplateInstance = requires {
    typename ExtractTemplateParam<Instance>::type;
};

步骤3：实现目标模板并添加约束 #

最后编写CommonTemplateTypeParameterProducer，用Concept约束传入的两个类型都是单参数模板实例，并且它们的萃取得到的T完全相同：

template <SingleParamTemplateInstance U, SingleParamTemplateInstance V>
requires std::same_as<ExtractTemplateParam_t<U>, ExtractTemplateParam_t<V>>
struct CommonTemplateTypeParameterProducer {
    using T = ExtractTemplateParam_t<U>;
    T Produce() { return T(); }
};

测试代码验证 #

你的测试代码现在可以正常编译，且不符合约束的实例化会被编译器拒绝：

struct ArbitraryType {};

template <typename T>
class ArbitraryTemplateClass1 { /* ... */ };

template <typename T>
class ArbitraryTemplateClass2 { /* ... */ };

int main() {
    // 合法：两个实例共用同一个ArbitraryType
    CommonTemplateTypeParameterProducer<ArbitraryTemplateClass1<ArbitraryType>, 
                                        ArbitraryTemplateClass2<ArbitraryType>> producer;
    auto t = producer.Produce(); // t的类型是ArbitraryType

    // 非法：两个实例的模板参数不同，编译器会触发约束检查错误
    // CommonTemplateTypeParameterProducer<ArbitraryTemplateClass1<ArbitraryType>, 
    //                                     ArbitraryTemplateClass2<int>> producer2; 
}

扩展：支持可变参数模板实例 #

如果需要支持更多个模板实例（要求所有实例共用同一个T），可以修改为可变参数版本：

template <SingleParamTemplateInstance First, SingleParamTemplateInstance... Rest>
requires (std::same_as<ExtractTemplateParam_t<First>, ExtractTemplateParam_t<Rest>> && ...)
struct CommonTemplateTypeParameterProducerVariadic {
    using T = ExtractTemplateParam_t<First>;
    T Produce() { return T(); }
};

// 使用示例：
// CommonTemplateTypeParameterProducerVariadic<
//     ArbitraryTemplateClass1<ArbitraryType>,
//     ArbitraryTemplateClass2<ArbitraryType>,
//     SomeOtherTemplate<ArbitraryType>
// > producer;

关键说明 #

• 类型萃取器通过模板特化实现，无需修改原模板类，仅依赖模板实例的结构；
• Concepts与requires子句确保了编译期的约束检查，不符合条件的实例化会得到清晰的编译错误；
• 所有模板参数均为自动推导，无需显式传入共同的T，满足你的需求。

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