自定义Pointer类编译报错：invalid user-defined conversion from Pointer<Node> to Node*

问题代码 #

#include <cstddef>
#include <stdexcept>
#include <cassert>

template <typename T>
class Pointer {
private:
    std::ptrdiff_t offset;

    std::ptrdiff_t calculateOffset(const T* ptr) const {
        if (ptr == nullptr) return 0;
        return (char*)ptr - (char*)this;
    }


public:
    Pointer() : offset(0) {}

    Pointer(T* p) : offset(calculateOffset(p)) {}

    Pointer(const Pointer<T>& other) :
        offset(calculateOffset(other)) {}

    Pointer(Pointer<T>&& other) noexcept : offset(other.offset) {
        other.offset = 0;
    }

    ~Pointer() {
            offset = 0;
    }

    operator T* const() {
        assert(offset != 0);
        T* temp = (T*) ((char*)this + offset);
        return temp;
    }

    Pointer<T>& operator=(Pointer<T> other)  {
        if (this != &other) {
            T* temp = other;
            offset = calculateOffset(temp);
        }
        return *this;
    }

    T* operator->() const {
        T* ptr = *this;
        assert(ptr != nullptr);
        return ptr;
    }
};

问题描述 #

我试图创建一个可无缝替换项目中原生指针的Pointer包装类。由于添加显式获取指针的函数会导致大量代码修改，因此我通过类型转换运算符实现Pointer<T>到T*的无缝转换。

目前遇到如下编译错误：

Pointer1.h:24:31: error: invalid user-defined conversion from 'const Pointer<Node>' to 'const Node*' [-fpermissive]
   24 |         offset(calculateOffset(other)) {}
      |                ~~~~~~~~~~~~~~~^~~~~~~

我查阅了相关问题，看到了关于最令人头疼解析（most vexing parse）的讨论，但仍未找到问题所在。

错误原因 #

编译错误出现在拷贝构造函数的calculateOffset(other)调用处：

• other是const Pointer<T>&类型的常量引用
• 你的类型转换运算符operator T* const()不是const成员函数，常量对象无法调用非const的成员函数，因此编译器无法将const Pointer<T>转换为T*，进而无法匹配calculateOffset(const T*)的参数类型。
• 另外operator T* const()的写法存在误区：你想声明的是返回T* const（指针本身不可变），但这对成员函数的const属性没有影响，真正需要的是让转换函数能被const对象调用，即给成员函数加上const修饰。

修复方案 #

将类型转换运算符修改为const成员函数，修正写法：

operator T*() const {
    assert(offset != 0);
    T* temp = (T*) ((char*)this + offset);
    return temp;
}

额外优化建议 #

1. 析构函数中offset = 0;属于无效操作，对象销毁后成员变量会被回收，无需手动置0。
2. 默认构造的Pointer对象（offset为0）在触发类型转换时会触发assert(offset != 0)，如果需要支持空指针场景，建议修改断言逻辑或处理offset为0的情况。
3. operator->()中的T* ptr = *this;依赖类型转换运算符，现在转换函数为const成员后，const的Pointer对象也能正常使用->运算符，符合预期。

内容的提问来源于stack exchange，提问作者Tejas Sharma