违反直觉的C++模板重载解析：为何匹配基类重载？

问题重现 #

以下代码在C++20环境下编译失败，编译器选择了重载(2)而非更匹配的重载(1)，导致std::tuple_element_t<2, std::tuple<int, float>>实例化错误（索引越界）：

#include <tuple>
#include <type_traits>
#include <cstddef> 

struct A {
  using type = std::tuple<int, float>;
};

struct B : A {
  using type = std::tuple<int, float, double>;
};

template <std::size_t N>
std::tuple_element_t<N, typename B::type>
foo(std::integral_constant<std::size_t, N>, B); // (1)

template <std::size_t N>
std::tuple_element_t<N, typename A::type>
foo(std::integral_constant<std::size_t, N>, A); // (2)

using type = decltype(foo(std::integral_constant<std::size_t, 2>{}, B{}));

int main() {}

核心原因 #

这个问题源于模板重载解析的两个关键步骤：可行候选生成和模板部分排序：

1. 两个重载均被视为可行候选 #

模板参数推导阶段，编译器不会检查返回类型的有效性（因为返回类型不参与模板参数推导）：

• 重载(1)：N被推导为2，第二个参数B完全匹配，推导成功。
• 重载(2)：N被推导为2，第二个参数B可隐式转换为基类A，推导同样成功。

此时两个重载都是可行候选，进入下一步的模板部分排序。

2. 模板部分排序判定重载(2)更特化 #

模板部分排序的规则是：若模板X的参数能匹配模板Y的参数，但模板Y的参数无法匹配模板X的参数，则X更特化。

• 用重载(1)的参数（std::integral_constant<size_t, N1> + B）匹配重载(2)：B可转换为A，匹配成功。
• 用重载(2)的参数（std::integral_constant<size_t, N2> + A）匹配重载(1)：A无法转换为B，匹配失败。

因此编译器判定重载(2)更特化，优先选择它。

3. 重载(2)的返回类型实例化失败 #

当编译器确定选择重载(2)后，才会实例化其返回类型std::tuple_element_t<2, A::type>，此时发现A::type（std::tuple<int, float>）没有索引2的元素，触发编译错误。

解决方法 #

通过添加requires约束，让不符合条件的重载被SFINAE剔除：

#include <tuple>
#include <type_traits>
#include <cstddef> 

struct A {
  using type = std::tuple<int, float>;
};

struct B : A {
  using type = std::tuple<int, float, double>;
};

template <std::size_t N>
requires (N < std::tuple_size_v<typename B::type>)
std::tuple_element_t<N, typename B::type>
foo(std::integral_constant<std::size_t, N>, B); // (1)

template <std::size_t N>
requires (N < std::tuple_size_v<typename A::type>)
std::tuple_element_t<N, typename A::type>
foo(std::integral_constant<std::size_t, N>, A); // (2)

using type = decltype(foo(std::integral_constant<std::size_t, 2>{}, B{})); // 正确选择重载(1)

int main() {}

添加约束后，当N=2时，重载(2)的约束N < std::tuple_size_v<A::type>（即2 < 2）不成立，被SFINAE剔除，只剩下重载(1)作为可行候选，编译通过。

内容的提问来源于stack exchange，提问作者Igor R.