引言
超级久没有写博客了,这次准备记录一个遇到的C++小错误,顺便水一篇…
这个错误是:Assignment to cast is illegal, lvalue casts are not supported。
该解释没有详细查证,如有错误,欢迎指正。
直接放到百度翻译,结果是:对强制转换的赋值非法,不支持左值强制转换 。
下面我将以两个例子为大家讲解这个报错原因。
Example1
#include <bits/stdc++.h>
using namespace std;
int main(int argc, char *argv[]) {
int i = 0;
int *p = &i;
cout << ++static_cast<char>(*p) << endl;
cout << *p << endl;
return 0;
}
让我们聚焦:
cout << ++static_cast<char>(*p) << endl;
在该句中,我们定义int型变量i,并试图通过指针p获得其值,强转为char类型后再做自增运算。
static_cast用于隐式转换,可对大部分类型明确的转换生效,对于int型到char类型的转换显然没有问题。
正如报错那样,*p为一个左值(lvalue)。
在C++中,左值姑且可以认作是能够放在表达式左边的值,也意味着它存在于特定的地址且该地址相对稳定,而右值恰恰相反,一些临时变量或是表达式都可以看作右值。
对*p做出强制转换后,其实有点类似于用*p的值做运算,得到的表达式没有任何长久有效的地址储存它,也就是说它不具备左值的性质。
《C++ Primer》这本书里大概有这么一句话:由于对一些临时量修改毫无意义,C++也就令其为非法。
我觉得这句用到这个是行得通的,也应了Assignment to cast is illegal这半句。
让我们再看下面这个相对复杂的例子来消化一下。
Example2
#include <bits/stdc++.h>
using namespace std;
class Based {
public:
explicit Based(string bd = "initialized based_data") : based_data(bd) {
cout << "Based() is called, now based_data is "
<< based_data << endl;
}
void alter_data() {
based_data = "Based altered";
cout << "Based's alter_data() is called, now based_data is "
<< based_data << endl;
}
protected:
string based_data;
};
class Derived : public Based {
public:
explicit Derived(string dd = "initialized derived_data") : Based(), derived_data(dd) {
cout << "Derived() is called, now derived_data is "
<< derived_data << endl;
}
void alter_data() {
// Based::alter_data();
static_cast<Based>(*this).alter_data();
derived_data = "Derived altered";
cout << "Derived's alter_data() is called, now derived_data is "
<< derived_data << " while based_data is "
<< based_data << endl;
}
protected:
string derived_data;
};
int main(int argc, char *argv[]) {
Derived d;
d.alter_data();
return 0;
}
首先,Based类为Derived类的基类,这两个类各自拥有自己的data(派生类当然拥有两个)和各自的alter_data方法(我并没有令其为virtual函数)去改变并显示该值。
值得一提的是在Derived类中被注释的部分:
// Based::alter_data();
static_cast<Based>(*this).alter_data();
我们的需求是:在派生类的alter_data方法中调用基类的alter_data方法去改变该Derived对象的based_data。于是我把*this强转为Based类型(在这里实际发生了一个对象切割,也就是Derived对象被切割为Based对象,而我们知道向上转型是安全的),再调用其alter_data方法。
可运行结果却有些不尽人意:
Based() is called, now based_data is initialized based_data
Derived() is called, now derived_data is initialized derived_data
Based's alter_data() is called, now based_data is Based altered
Derived's alter_data() is called, now derived_data is Derived altered while based_data is initialized based_data
可以看到,派生类调用alter_data方法后,based_data仍然是创建时的initialized based_data。
原因和上面一样,实际上我们修改的是经过强转的那个临时变量的值,如果想达到预期效果,应该交换注释。
结果如下:
Based() is called, now based_data is initialized based_data
Derived() is called, now derived_data is initialized derived_data
Based's alter_data() is called, now based_data is Based altered
Derived's alter_data() is called, now derived_data is Derived altered while based_data is Based altered
果然,based_data成功被我们修改了!