CPP Templates 之 名称分类和名称查找

名称的分类:

标示符 identifier:一个只有字符、数字和下划线组成的不间断字符序列
运算id operator-function id:运算符,例如*、%、+\-,
强制转换id conversation-function id:static_cast、dynamic_cast之类
模板id template id:模板名称
非受限id unqualified-id:广义化的标示符 identifier,
受限id qualified-id:用一个类名或者名字空间名称对一个unqualified-id进行限定
受限名称 qualified name:
非受限名称 unqualified name:
依赖型名称 dependent name:依赖于模板参数
非依赖型名称 undependent name:不依赖于模板参数

名称查找:

受限名称:在受限作用域内查找就好
非受限名称:在调用点可见的和ADL argument-dependent lookup

ADL:
    在函数调用过程中 如果普通查找就能找到函数的名字,那么就不会应用ADL。如果把被调用函

数的名称用圆括号()括起来,例如(max),也不会调用ADL。否则,如果名称后面的括号里面有一个

或多个实参表达式,那么这些实参的associated class和associated namespace。
    对于给定类型,对于associated class和associated namespace所组成集合的准确定义,我们

可以通过下列规则来确定:
1.对于基本类型,该集合为空
2.对于指针和引用类型,该集合是指针所指向的类和引用锁引用的类型的associated class和associated namespace
3.对于枚举类型,associated namespace就是其所在的namespace;对于类成员,起associtated

class指的是它所在的类。
4.对于class类型(包括联合类型),associated class集合包括:该class本身、它的外围类型、

它的直接和间接基类。associated namespace集合是每个associated class所在的namespace。如

果这个类是类模板实例化产生的,那么还包括:模板类型实参本身的类型、声明模板的模板实参所

在的class和namespace
5.对于函数类型,该集合包括所有参数类型和返回类型的associated class和associated

namespace
6.对于类X的成员指针类型,除了包括成员相关的associated class和associated namespace之外

,该集合还包括与X相关的associated class和associated namespace;

posted on 2009-11-07 18:15  ATAK  阅读(474)  评论(0编辑  收藏  举报

导航