Question

是否可以为使用const和非const指针类型实例化的模板类提供自动转换？

具体来说，请考虑以下事项：

template <typename T>
class A { 
public:
    operator A<const T>()
    {   
        return A<const T>();
    }   
};

int main()
{
    A<const int> a1; 
    A<int> a2; 
    // Works fine; invokes operator A<const T>()
    a1 = a2; 

    A<const int*> a3; 
    A<int*> a4; 
    // Fails to compile: no viable overloaded '='
    a3 = a4; 

    return 0;
}

是否可以为具有指针模板参数的类型提供显式转换？在A的定义中它会是什么样子？

作为奖金/背景问题，为什么上述工作适用于非指针模板参数，而不适用于指针模板参数？

Answer 1

混淆的来源是指针的常量与指针的常量。您现在的设置会将T转换为const T。如果您将int替换为T，则int会变为const int。但是，如果您替换int *，则会获得int * const，而不是const int *。 T获得const，这是一个指针，因此指针变为const，而不是指向的对象。
以下代码有效：

A<int*const> a5;
A<int*> a6;
// compiles
a5 = a6;

你可以做一些棘手的事情，比如

operator A<std::add_pointer_t<std::add_const_t<std::remove_pointer_t<T>>>>()
{
    return {};
}

要使a3 = a4;编译，但您必须非常小心，这些转换实际上会执行他们应该执行的操作（上述示例不正确（？）允许int到const int *转换，因为如果给定的类型不是指针，remove_pointer不执行任何操作，则需要enable_if + is_pointer，这会很快变得复杂。）

具有const /非const指针类型的模板的自动类型转换

1 个答案: