如何调用C++中关联但不同concept的对应函数？

问题描述 #

我定义了基础约束concept_a，以及更严格的复合约束concept_ab（同时满足concept_a和concept_b），代码如下：

template<typename T> concept concept_a = ...;
template<typename T> concept concept_b = ...;
template<typename T> concept concept_ab = concept_a<T> && concept_b<T>;

接着我基于这些约束实现了重载函数f：

int f(concept_a auto a) {return 1;}
int f(concept_ab auto ab) { 
    int n = f<concept_a>(ab); // 语法无效，无法编译
    return n+10; 
}

问题在于f<concept_a>(ab)这种写法是错误的，因为Concept不能作为模板实参传递。我知道可以通过添加间接层（比如新增f_concept_a函数供两个重载调用）解决，但想请教是否存在直接调用关联但不同Concept对应重载函数的方法？

解决方案 #

当然有直接的办法！核心思路是引导编译器的重载决议，让它选中你想要的concept_a约束版本，而不是更严格的concept_ab重载。这里有两种简洁的实现方式：

方法1：用static_cast约束参数推导 #

你可以通过static_cast将参数转换为concept_a auto&&类型，这样编译器会将参数视为仅满足concept_a约束的类型，从而匹配到对应的重载：

int f(concept_ab auto ab) { 
    int n = f(static_cast<concept_a auto&&>(ab)); 
    return n + 10; 
}

这种方式利用了C++的类型推导规则：static_cast后的表达式会触发针对concept_a约束的重载匹配，跳过更严格的concept_ab版本。

方法2：通过函数指针指定目标重载 #

你也可以显式声明一个指向concept_a约束版本的函数指针，通过指针调用目标重载，直接绕过重载决议的歧义：

int f(concept_ab auto ab) { 
    // 定义匹配concept_a重载的函数指针类型
    using ConceptAFunc = int(*)(concept_a auto);
    ConceptAFunc target_f = &f;
    
    int n = target_f(ab); 
    return n + 10; 
}

为什么f<concept_a>(ab)无效？ #

补充说明一下：Concept是编译期的约束规则，不是类型，因此不能作为模板实参传递给函数模板。f<concept_a>试图将Concept当作模板参数使用，这违反了C++的语法规则——函数模板的模板参数只能是类型、非类型参数或模板模板参数，Concept并不属于这三类。

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