基于Concept的运算符重载模板约束未按预期生效的问题

问题背景 #

我定义了tuple_like概念，用它约束operator*的模板参数，实现针对std::tuple和std::pair类型的乘法运算符重载。但当代码中出现枚举类型相乘（Enum * Enum）时，编译器错误地匹配了该重载，报错枚举类型缺少std::tuple_size。要求在不单独为std::tuple和std::pair分别重载运算符、且无法移除枚举相乘代码的前提下修复问题。

原代码如下：

#include <tuple>
#include <utility>

template<typename T>
struct is_tuple_like : std::false_type {};

template<typename... Ts>
struct is_tuple_like<std::tuple<Ts...>> : std::true_type {};

template<typename T, typename U>
struct is_tuple_like<std::pair<T, U>> : std::true_type {};

template<typename T>
concept tuple_like = is_tuple_like<T>::value;

template<tuple_like L, tuple_like R, int N = std::tuple_size_v<L>>
auto operator*(const L &lhs, const R &rhs) { return 0; }

enum { Enum };

int main()
{
    Enum * Enum; // 触发编译错误
    return 0;
}

问题根源 #

编译器处理Enum * Enum时，会尝试匹配所有可见的operator*重载。虽然枚举类型不满足tuple_like概念，但概念约束的检查是在模板参数推导完成后、模板实例化之前进行的。而当前模板的默认参数int N = std::tuple_size_v<L>会在参数推导阶段就被求值，此时L被推导为枚举类型，std::tuple_size_v<L>不存在，直接导致编译错误，根本没走到概念约束的检查环节。

修复方案 #

核心思路是将std::tuple_size的检查提前到tuple_like概念中，让编译器在参数推导阶段就排除不满足条件的类型（比如枚举），避免默认参数求值时报错。

修复后的代码 #

#include <tuple>
#include <utility>

template<typename T>
struct is_tuple_like : std::false_type {};

template<typename... Ts>
struct is_tuple_like<std::tuple<Ts...>> : std::true_type {};

template<typename T, typename U>
struct is_tuple_like<std::pair<T, U>> : std::true_type {};

// 扩展概念，增加std::tuple_size的存在性检查
template<typename T>
concept tuple_like = is_tuple_like<T>::value && requires { std::tuple_size_v<T>; };

// 移除默认参数，或保留但此时概念已确保tuple_size存在
template<tuple_like L, tuple_like R>
auto operator*(const L &lhs, const R &rhs) {
    constexpr int N = std::tuple_size_v<L>;
    return 0;
}

enum { Enum };

int main()
{
    Enum * Enum; // 正常编译，匹配内置枚举乘法运算符
    return 0;
}

另一种可选写法 #

如果希望保留模板的默认参数，也可以调整概念定义，确保std::tuple_size的存在性：

template<typename T>
concept tuple_like = is_tuple_like<T>::value && requires { typename std::tuple_size<T>::type; };

// 此时默认参数不会触发错误，因为概念已确保类型满足条件
template<tuple_like L, tuple_like R, int N = std::tuple_size_v<L>>
auto operator*(const L &lhs, const R &rhs) { return 0; }

修改后，枚举相乘会匹配C++内置的枚举乘法运算符，不再误匹配我们的模板重载，同时std::tuple和std::pair仍能正常使用自定义的operator*。

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