ISO C++草稿 - 3.4.2/3 - 参数相关名称查找

Question

ISO C++ 草案 (n3290) 中的一点：

3.4.2/3 参数相关名称查找：

设X为非限定查找（3.4.1）产生的查找集，并且 令 Y 为参数相关查找生成的查找集 （定义如下）。如果X包含

• 类成员的声明 (#1) 或
• 块作用域函数 声明不是 using 声明 (#2) 或
• 声明 这既不是函数也不是函数模板 (#3)

那么Y为空。否则 Y 是在中找到的声明集 与参数类型关联的命名空间，如下所述。 通过名称查找找到的声明集是并集 X 和 Y。

是否有一个示例代码片段演示涉及 #1、#2 和 #3 的 ADL？

Answer 1

我认为这段代码涵盖了所有情况（也可在 http://ideone.com/CbyJv 获取）。如果您不在 ideone 中选择 C++0x，则允许情况#2（但 gcc 4.5.2 捕获它）。

#include <iostream>

// ::f
void f (int i) { std::cout << "::f\n" ; }

// Simple case
void OK1() {
  f (99) ; // Calls ::f
}

// Argument-dependend lookup
namespace MyNamespace {
struct S { int i ; } ;
void f (S& s) { std::cout << "MyNamespace::f\n" ; }
}

void OK2() {
  MyNamespace::S s ;
  f (99) ;   // Calls ::f
  f (s) ;    // Calls MyNamespace::f because the type of s is declared in MyNamespace
}

// Declaration of a class member (#1)
struct C {
  static void ERROR1() {
    MyNamespace::S s ;
    f (s) ;        // Error: MyNamespace::f not matched, because Y is empty (#1)
  }
  static void f() { // Declaration of a class member (#1)
    std::cout << "C::f\n" ;
  }
} ;

// Block-scope function declaration (#2)
void ERROR2() {
  void f() ; // Block-scope function declaration (#2)
  MyNamespace::S s ;
  f (s) ;    // Error: MyNamespace::f not matched, because Y is empty (#2)
}

// Declaration that is neither a function or a function template (#3)
void ERROR3() {
  MyNamespace::S s ;
  f (s) ;            // OK: MyNamespace::f called
  typedef int f[3] ; // Declaration that is neither a function or a function template (#3)
  f (s) ;            // Error: MyNamespace::f not matched, because Y is empty (#3). This is an initialiser
}

Answer 2

第 1 点非常简单 - 如果您在类中查找名称 N，并且该类有一个成员 N，就是这样！您不必去其他地方寻找。

我认为第二个是类似的，但是在一个块内，

{
    void f(double);

    f(42);
}

如果可能的话，代码将尝试调用在那里声明的函数 f，否则放弃。

3号又是类似的。如果您查找名称 N 并找到具有该名称但不是函数的内容，则不必去寻找重载。

Answer 3

就其价值而言，这也称为 Koenig 查找。我手头上没有这三个例子，但 Bo Persson 已经提供了一些。