解决方法 clang 警告 -Wambiguous-member-template

Question

如何解决此 clang 警告？这在包含 STL <set> 并且另外具有模板化 set() 函数的代码中经常出现。

我不想全局禁用警告，但也不想手动为每个包含 <set> 的文件（太多）。

template<typename T> struct set{};
template<typename T> struct trait { typedef const T& type; };
struct Value {
  template<typename T> void set(typename trait<T>::type value) {}
};
void foo() {
  Value v;
  v.set<double>(3.2);
}

clang.cpp:8:9：警告：在成员访问表达式中查找“set”不明确；使用“值”的成员 [-Wambiguous-member-template] v.set(3.2); ^ clang.cpp:4:29：注意：在对象类型“值”中的查找指的是这里 模板无效集（类型名称特征：：类型值）{} ^ clang.cpp:1:29: 注意：从当前范围查找指的是这里 模板结构集{}； ^ 生成 1 个警告。

显而易见的解决方案是不使用模板化的 set() 方法，但这似乎相当有限。

Answer 1

警告似乎无效。在这种情况下，标准 [basic.lookup.classref] 似乎并没有表明存在歧义或需要任何诊断。以下是相关段落：

1. 在类成员访问表达式 (5.2.5) 中，如果 . 或 -> 令牌后紧跟一个标识符，后跟一个 <，则必须查找标识符以确定 @987654325 @ 是模板的开头 参数列表 (14.2) 或小于运算符。标识符首先在对象的类中查找 表达。如果找不到标识符，则在整个后缀表达式的上下文中查找它 并应命名一个类模板。

我会全局禁用警告。

Answer 2

你是对的，显而易见的解决方案是不要定义 conflicting 模板set 方法和类。你范围内的名称查找规则在类和方法之间不能有歧义，即符号set不能同时引用两者，你​​必须使用命名空间来消除歧义。

您可能没有在命名空间std 中定义set 方法，所以我只能假设您在您的作用域中注入了std::set，使用using std::set 或using namespace std。

一般情况下，using namepsace std 是个坏主意，因为您无法控制它在您的作用域中注入的符号（取决于递归包含），并且您并不总是控制这可能与哪些其他符号发生冲突。

在您的情况下，正如 Dieter 所说，最简单的解决方案是通过删除相关的 using 子句来阻止 set 引用 std::set。然后您必须使用std::set 来命名它，而不仅仅是set，但不会再有任何冲突。