重载类型转换运算符:常量和非常量
为什么下面两个用例的行为不同？
内置类型的示例：
class Test
{
operator const char*() {
return "operator const char*() called";
}
operator char*() {
return const_cast<char*> ("operator char*() called");
// a really ugly hack for demonstration purposes
}
};
Test test;
const char *c_ch = test; // -> operator const char*() called
char *ch = test; // -> operator char*() called好了，一切都按计划进行。不，让我们尝试使用用户定义的类型：
class ColorWrapper
{
operator const Color() {
cout << "operator const Color() called" << endl;
return Color(10, 20, 30);
}
operator Color() {
cout << "operator Color() called" << endl;
return Color(11, 22, 33);
}
};
ColorWrapper cw;
const Color c_col = cw;
Color col = cw;情况看起来是一样的，但现在，GCC开始抱怨：
error: conversion from 'ColorWrapper' to 'const Color' is ambiguous
error: conversion from 'ColorWrapper' to 'Color' is ambiguous我是不是遗漏了什么？我在这里试图实现的是防止用户直接更改颜色。如果他们想要改变它，他们必须通过包装器类来完成。
回答 4
Stack Overflow用户
发布于 2012-10-16 21:24:14
问题是，你的两个例子是不等价的。第一个返回两个不同的类型，编译器可以很容易地从中选择，一个指向可变数据的指针和一个指向常量数据的指针。这将是不同的，如果它是一个指针和一个常量指针(这意味着你不能改变返回的指针所指向的位置，而不是不改变指向数据的指针)：
class Test
{
operator char * const();
operator char *();
};这将等同于您的第二个示例，并引入了相同的歧义，因为编译器无法决定选择哪一个，因为两者都返回相同的类型，一个是const限定的，另一个不是。
这可以通过基于对象的常量重载来解决：
class ColorWrapper
{
operator const Color() const;
operator Color();
};因此，您可以根据源对象的常量进行重载。但是，您不能像现在所希望的那样，简单地基于目标对象的常量来进行重载。
这一切都归结为考虑对象和对象可能间接引用的数据之间的差异，在实践中，对象本身表现为常量指针和指向常量数据的指针之间的差异。
我想在这里实现的是防止用户直接更改颜色
这样就完全不需要任何重载了。只要返回const版本即可。用户不能直接更改返回的颜色，他只能复制和更改副本。
cw.set(red); //nope, return color is constant
Color col = cw; //copy returned color into col
col.set(green); //fine, since we're not working on the returned color, but on col
const Color c_col = cw; //use this if you don't want c_col to be modified,
//doesn't have anything to do with returned color, thoughStack Overflow用户
发布于 2012-10-16 20:55:26
这是因为在您的第二个示例中，您将const添加到一个对象，而不是指针(在第一个示例中)。在重载解析阶段，const和object会使编译产生混淆，根据c++标准，这两者是一样好的(object和const object)。编译器不会试图在这里聪明地选择一个而不是另一个。
但是在指针和常量指针中(引用也是有效的)，编译器可以相应地从这两个重载候选对象中进行选择，这是您的第一种情况。
Stack Overflow用户
发布于 2012-10-16 20:48:33
如果您将一个运算符修改为const，它将起作用：
operator const Color() const {
cout << "operator const Color() const called" << endl;
return Color(10, 20, 30);
}或者，您可以删除两个运算符中的一个。由于是按值返回Color，因此这两个运算符之间没有真正的区别。
https://stackoverflow.com/questions/12914931
复制相似问题
腾讯云开发者
