g++ - 如何禁用从 0 到指针类型的隐式转换？

问题
具体来说，我希望以下代码失败：

1. void a(void*){}
   
2. int main(){
   
3.     a(0); // FAIL
   
4.     a(NULL); // FAIL
   
5.     a(nullptr); // success
   
6. }

复制代码

我希望编译以下代码：

1. void a(int){}
   
2. void a(void*){}
   
3. int main(){
   
4.     a(0); // calls first a
   
5.     a(NULL); // calls first a; that's why I have -Werror
   
6.     a(nullptr); // calls second a
   
7. }
   

复制代码

以下代码目前无法编译，但应该按照我的规则工作：

1. void a(std::size_t){}
   
2. void a(void*){}
   
3. int main(){
   
4.     a(0); // two candidates
   
5. }

复制代码

你知道如何让 g++ 做到这一点吗？

回答
这可能并不完美，但如果你真的想使用 int 和指针重载，你可以使用这样的辅助类：

1. #include <iostream>
   
2. #include <iomanip>
   
3. using std::cout;
   
4. using std::endl;
   
5. 
   
6. template<typename T = void> class ptr {
   
7.     T* it;
   
8. public:
   
9.     ptr(T* it = nullptr): it(it) {}
   
10.     ptr(const ptr<T>&) = default;
    
11.     ptr& operator = (const ptr<T>&) = default;
    
12.     operator T* () { return it; }
    
13.     T& operator * () { return *it; }
    
14.     T* operator -> () { return it; }
    
15.     ptr& operator += (int x) { it += x; return *this; }
    
16.     ptr& operator -= (int x) { it -= x; return *this; }
    
17.     ptr& operator ++ () { ++it; return *this; }
    
18. //  etc...
    
19. public:
    
20.     template<typename P>
    
21.       ptr(P* it): it(it) {}
    
22.     template<typename P>
    
23.       ptr(ptr<P> it): it((T*)it) {}
    
24. };
    
25. template<> class ptr<void> {
    
26.     void* it;
    
27. public:
    
28.     ptr(void* it = nullptr): it(it) {}
    
29.     ptr(const ptr<void>&) = default;
    
30.     ptr& operator = (const ptr<void>&) = default;
    
31.     operator void* () { return it; }
    
32. public:
    
33.     template<typename P>
    
34.       ptr(P* it): it(it) {}
    
35.     template<typename P>
    
36.       ptr(ptr<P> it): it((void*)it) {}
    
37. };
    
38. 
    
39. void a(std::size_t x) {
    
40.     cout << "first: " << x << endl; }
    
41. void a(ptr<const int> p) {
    
42.     cout << "second: " << (p ? *p : -1) << endl; }
    
43. void a(ptr<int> p, ptr<> q) {
    
44.     cout << "third: " << (p ? *p : -1) << ", "
    
45.         << (q ? "some" : "null") << endl;
    
46.     a(p); }
    
47. int main(){
    
48.     a(0);           // first: 0
    
49.     a(NULL);        // first: 0 but warning [-Wconversion-null]
    
50.     a(new int(3), nullptr); // third: 3, null + second: 3
    
51. }

复制代码

它还没有完成（可能删除显式，添加更多运算符，从 nullptr_t 进行特殊转换等），只是一个想法。

编辑：对代码、模板构造函数和转换为 ptr<const int> 的更改很少测试。