为何编译器会针对operator+报告无关候选模板？

问题背景 #

定义了仅支持同类型widget<T>执行operator+操作的类：

#include <string>
#include <vector>

template <class T>
struct widget {
  widget<T> operator+(const widget<T>&) {
    return {};
  }
};

场景1：widget 与 widget 相加 #

得到预期的简洁错误提示：

<source>:14:16: error: invalid operands to binary expression ('widget<int>' and 'widget<double>')
    auto z = x + y;
             ~ ^ ~
<source>:6:15: note: candidate function not viable: no known conversion from 'widget<double>' to 'const widget<int>' for 1st argument
    widget<T> operator+(const widget<T>&) {
              ^

场景2：widget 与 widget<std::vector> 相加 #

编译器列出大量额外错误，包含一系列无关类型的候选模板被忽略的提示：

<source>:14:16: error: invalid operands to binary expression ('widget<int>' and 'widget<std::vector<int>>')
    auto z = x + y;
             ~ ^ ~
/opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../include/c++/12.2.0/bits/stl_iterator.h:630:5: note: candidate template ignored: could not match 'reverse_iterator' against 'widget'
    operator+(typename reverse_iterator<_Iterator>::difference_type __n,
    ^
/opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../include/c++/12.2.0/bits/stl_iterator.h:1786:5: note: candidate template ignored: could not match 'move_iterator' against 'widget'
    operator+(typename move_iterator<_Iterator>::difference_type __n,
    ^

[... 更多类似提示 ...]

/opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../include/c++/12.2.0/bits/basic_string.tcc:627:5: note: candidate template ignored: could not match 'basic_string' against 'widget'
    operator+(_CharT __lhs, const basic_string<_CharT, _Traits, _Alloc>& __rhs)
    ^
<source>:6:15: note: candidate function not viable: no known conversion from 'widget<std::vector<int>>' to 'const widget<int>' for 1st argument
    widget<T> operator+(const widget<T>&) {
              ^

核心问题：为何两种场景的错误提示差异如此之大？如何才能获得更友好的错误信息？该现象在GCC、Clang、MSVC三大编译器中均存在。

原因分析 #

• 模板推导与ADL的交互：编译器处理x + y时，会先尝试匹配成员operator+，失败后会通过**依赖于参数的查找（ADL）**查找全局命名空间及操作数类型所在命名空间中的operator+模板。
• 对于widget<int>和widget<double>：int和double属于全局命名空间，STL中没有针对widget<基础类型>的全局operator+模板会被推导匹配，因此错误信息仅包含自定义的候选函数。
• 对于widget<int>和widget<std::vector<int>>：std::vector位于std命名空间，ADL会触发对std命名空间中所有operator+模板的推导。这些模板（如迭代器、字符串相关的加法）虽然最终都因无法匹配widget类型被忽略，但推导过程会被编译器记录为“候选模板被忽略”的提示，导致错误信息冗长。

优化方案：获得友好错误信息 #

1. 直接调用成员运算符，跳过ADL #

不使用中缀+，而是直接调用成员函数，避免触发ADL查找全局模板：

auto z = x.operator+(y);

此时编译器仅检查自定义的成员operator+，错误信息会和场景1一样简洁。

2. 显式删除跨类型widget的全局operator+ #

利用SFINAE机制，定义一个针对不同类型widget的全局operator+并显式删除，让编译器优先匹配这个模板，同时阻止后续的ADL查找：

#include <string>
#include <vector>
#include <type_traits>

template <class T>
struct widget {
  widget<T> operator+(const widget<T>&) {
    return {};
  }
};

// 仅允许同类型widget相加，跨类型情况显式删除
template <class T, class U>
std::enable_if_t<!std::is_same_v<T, U>, widget<T>>
operator+(const widget<T>&, const widget<U>&) = delete;

此时跨类型相加的错误提示会直接指向这个被删除的函数，不会再出现STL模板的无关提示：

<source>:18:16: error: use of deleted function 'std::enable_if_t<(!std::is_same_v<T, U>), widget<T>> operator+(const widget<T>&, const widget<U>&) [with T = int; U = std::vector<int>; std::enable_if_t<(!std::is_same_v<T, U>), widget<T>> = widget<int>]'
    auto z = x + y;
           ^
<source>:14:3: note: declared here
  operator+(const widget<T>&, const widget<U>&) = delete;
  ^

3. C++20概念约束 #

使用C++20的std::same_as概念约束成员operator+的参数类型，在模板推导阶段就过滤掉不匹配的类型，减少不必要的ADL查找：

#include <string>
#include <vector>
#include <concepts>

template <class T>
struct widget {
  widget<T> operator+(const widget<std::same_as<T>>&) {
    return {};
  }
};

概念会让编译器更早拒绝不匹配的参数，错误信息简洁且直接指向类型不匹配问题。

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