C++20概念约束静态重载类内调用GCC报歧义错误问题

我的类模板 NodeMaker 包含3个名为 create_node 的静态成员函数模板，通过C++20 concepts根据入参类型做约束以实现重载区分。在main()函数中调用 NodeMaker<>::create_node(x) 时完全符合预期运行，但在类的其他成员函数内调用 create_node 时，GCC会报重载歧义错误，我无法理解问题成因。

复现代码 #

#include <utility>
#include <type_traits>

template<class F> concept NodeFunctionType = std::invocable<std::remove_reference_t<F>, int>;
template<class T> concept ExtracterType = requires { typename T::I_am_an_extracter; };

template<class T = int>
struct NodeMaker {
  template<class... Args>
  static constexpr auto create_node(Args&&... args) { return new T(std::forward<Args>(args)...); }

  template<NodeFunctionType DataMaker> requires (!ExtracterType<DataMaker>)
  static constexpr auto create_node(DataMaker&& data_maker) { return create_node(); } // line 13

  template<ExtracterType DataMaker> requires (!NodeFunctionType<DataMaker>)
  static constexpr auto create_node(DataMaker&& data_maker) { return create_node(); } // line 16

  void do_something() {
    const auto target = create_node(0);  // GCC下此处编译报错
  }
};

int main(const int argc, const char** argv) {
  const auto target = NodeMaker<>::create_node(0); // 此处可以正常编译运行
}

GCC报错信息 #

<source>: In member function 'void NodeMaker<T>::do_something()':
<source>:19:36: error: call of overloaded 'create_node(int)' is ambiguous
   19 |     const auto target = create_node(0);
<source>:10:25: note: candidate: 'static constexpr auto NodeMaker<T>::create_node(Args&& ...) [with Args = {int}]'
   10 |   static constexpr auto create_node(Args&&... args) { return new T(std::forward<Args>(args)...); }
<source>:13:25: note: candidate: 'static constexpr auto NodeMaker<T>::create_node(DataMaker&&) [with DataMaker = int]'
   13 |   static constexpr auto create_node(DataMaker&& data_maker) { return create_node(); }
<source>:16:25: note: candidate: 'static constexpr auto NodeMaker<T>::create_node(DataMaker&&) [with DataMaker = int]'
   16 |   static constexpr auto create_node(DataMaker&& data_maker) { return create_node(); }

疑问点 #

按逻辑分析：

• 第13行的重载不可能匹配，因为int类型不满足NodeFunctionType概念约束
• 第16行的重载也不可能匹配，因为int类型不满足ExtracterType概念约束，且这两个受约束的重载本身约束互斥，不存在同时匹配的可能

为什么GCC可以正确消歧类外的create_node调用，却无法正确处理类成员函数内的同名调用？

这是GCC的已知实现Bug，出在类模板成员函数内的非限定名查找逻辑上：

• 你在main里调用NodeMaker<>::create_node(0)时，NodeMaker<>已经完成实例化，模板参数T被明确指定为int，GCC会完整走完重载决议流程：先校验所有候选重载的concept约束，直接把两个不满足约束的重载排除，最终选中可变参数的通用版本，整个过程没有歧义。
• 但在类的成员函数do_something()里直接写create_node(0)时，do_something()本身是类模板的成员，此时外层类的模板参数T还未确定，属于依赖型上下文。GCC在这个场景下做重载决议时出了错：它先把三个同名的create_node都放进候选集，还没等校验两个受约束重载的concept是否满足，就先判定候选集存在歧义直接抛错，根本没走到后续约束过滤的步骤。
• 你判断的两个受约束重载对int参数都不匹配、且二者约束互斥是完全正确的，只是GCC在这个特定场景下没按标准流程做约束检查，才报了不符合预期的错误。同样的代码在Clang、MSVC下都可以正常编译，符合C++标准的要求。

如果需要兼容当前版本GCC，可以选择以下两种方式规避：

1. 类内调用时显式指定类作用域，强制触发完整的重载约束检查：

   void do_something() {
     const auto target = NodeMaker::create_node(0);
   }
   

2. 给通用的可变参数重载添加兜底约束，明确重载优先级，从根源避免歧义判定：

   template<class... Args>
   requires (!(NodeFunctionType<Args> && ...) && !(ExtracterType<Args> && ...))
   static constexpr auto create_node(Args&&... args) { return new T(std::forward<Args>(args)...); }
   

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