《Effective C++》中的一个问题

thinshootout

在条款25中，作者欲通过member function templates(简称member templates)来提供泛型隐式转换，以达到以下效果：
  void f(int x);
  void f(string *ps);
  f(NULL); // 实际调用f(string *ps)
具体实现如下：
  const class {
  public:
      template<class T>    // 可以转换任何类型
      operator T*() const  // 的null非成员指针
      { return 0; }

      template<class C, class T>    // 可以转换任何类型
      operator T C::*() const       // 的null成员指针
      { return 0; }

  private:
      void operator&() const;    // 不能取其地址
  } NULL;

请问：转换函数（operator T*() 和 operator T c::*() ）为什么不是 return static_cast<T*>(0) 而是 return 0?
谢谢。

[ 本帖最后由 thinshootout 于 2006-10-5 15:04 编辑 ]

namtso

c++中，0可以直接被赋值给任何类型的指针而不用类型转换。

cythier

我记得在VC里

ifdef C_PLUS_PLUs
NULL = 0
else
NULL = (void *)0
endif

thinshootout

to 2楼：
  我一直也是这么认为，可是在《Effective C++》的条款25中，作者给出例子：
  void f(int x);
  void f(string *ps);

  f(0);  // 调用f(int)还是f(string*)?
  答案是，0是一个int——准确地说，一个字面上的整数常量——所以，“总是”f(int)被调用。
如果如2楼所说，f(0)在编译时岂不是发生二义性错误？
请解答，谢谢。

awake

to 4楼:
0到指针不需要显示类型转换。就好像char到int不需要显示类型转化一样。

namtso

原帖由 thinshootout 于 2006-10-5 21:57 发表
to 2楼：
  我一直也是这么认为，可是在《Effective C++》的条款25中，作者给出例子：
  void f(int x);
  void f(string *ps);

  f(0);  // 调用f(int)还是f(string*)?
  答案是，0是一个int——准确地说 ...

0可以无需任何显式转换而直接“赋值”给任何类型的指针变量。只需要记住这一点就可以了。也就是说，C++里，对0做了特殊对待。

thinshootout

那5楼和6楼的意思是说，《Effective C++》的作者写错了？不然面对
  void f(int x);
  void f(string *ps);
来说，
  f(0)应该在编译时刻出错才对，因为编译器不知道应该把0转换为int还是string*，编译器拒绝作出判断，对吗？
但是（！！！）
通过实验发现，f(0)确实链接的是void f(int x)，请给出解释。
谢谢。

mik

gcc 有一个有用的扩展： 用 typeof 操作符探测 0 的类型。

1. int main()
   
2. {
   
3.       typeof(0) i = 0;
   
4.       
   
5.       *i = 1;         // 错误，说明 0 不是 pointer
   
6.       i = 1;           // 正确， 0 是 int 型
   
7. 
   
8.    
   
9.     typeof((int *)0) p = 0;
   
10. 
    
11.       p = &i;
    
12.       *p = 10;  //  正确，说明必须经过显式cast 之后，也就是 (int *)0 才属于 pointer
    
13.      
    
14.        return 0;
    
15. }

复制代码

[ 本帖最后由 mik 于 2006-10-6 10:22 编辑 ]

thinshootout

我想明白了，一定是
      template<class T>    // 可以转换任何类型
      operator T*() const  // 的null非成员指针
      { return 0; }
返回时已经将0隐式转换为T*了
此帖结帖