const 参数值为 0 的重载决议不正确

Question

我有一个类B 有两个重载函数int Set(B *); 和int Set(const A&);。类A 需要一个构造函数参数unsigned char。当Set 使用const unsigned char 调用时，其值为0，它被解析为Set(B*)，而当传递的值非零时，它解析为Set(const A&)（根据我的预期）。

重载解决方案预期适用于非 const unsigned char，但在 const unsigned char 的值设置为 0 时失败。为什么？

以下代码说明了使用 const 和非 const unsigned char 调用 Set 时的差异

#include <iostream>

using namespace std;


class A{
  char m_byteValue;
public:
  A(unsigned char c) {
    m_byteValue = c;
  }
};


class B{
  int m_a;
public:
  B(){
    m_a = 2;
  }
  int Set(B *);
  int Set(const A&);
};

int B::Set(const A& v) {
  cout << "I am in the const ref function\n";
  return 0;
}

int B::Set(B* p) {
  cout << "I am in the pointer function\n";
  return 0;
}

int main(){
  const unsigned char a = 0;
  const unsigned char b = 1;
  unsigned char c = 0;
  unsigned char d = 1;
  B var;
  var.Set(a);
  var.Set(b);
  var.Set(c);
  var.Set(d);
  return 0;
}

输出（由gcc 4.9.2c++98 编译）： Demo - 在 ideone c++ 5.1 上

I am in the pointer function // Why?
I am in the const ref function
I am in the const ref function
I am in the const ref function

Answer 1

标准之间的区别在这里：

C++98 [conv.ptr]

空指针常量是整数类型的整数常量表达式右值，其计算结果为零。

C++11 [conv.ptr]

空指针常量是一个整数文字，其值为 0 或 std::nullptr_t 类型的纯右值。

const unsigned char a = 0; 满足 C++98 对整型常量表达式的定义。当然a 不是右值，但似乎左值到右值的转换适用并且仍然比用户定义的从unsigned char 到A 的转换更好的匹配。

a 不是文字，这就是 C++11 中行为不同的原因。

Answer 2

Clang 重现了错误，不过好在编译的时候也给了你答案：

overloading_incorrect.cxx:41:13: warning: expression which evaluates
to zero treated as a null pointer constant of type 'B *'
[-Wnon-literal-null-conversion] 
var.Set(a);
        ^

正如 NathanOliver 在您的帖子下正确提到的那样，一旦使用 c++11 标准（将 -std=c++11 标志添加到编译器），此行为就会消失。