C++ 的那些坑 (Day 0)
2015-07-25 14:07
453 查看
C++ 的那些坑 (Day 0)
永远的for循环
其实这里要说的并不是for循环本身还是其中的计数变量的类型的选择。std::string s = "abcd" for (string::size_type i=0; i<s.size(); i++) { std::cout<<s[i]<<" "; } // a b c d
对于以上代码估计很多人是不会这样装逼的使用
size_t或者
string::size_type类型的,而是直接使用int类型,虽然string.size()以及其他一些容器如vector的size()方法返回的都是size_t类型的值。再来看下面这段代码
std::string s = "abcd" for (string::size_type i=0; i<s.size() - 10; i++) { std::cout<<s[i]<<" "; }
功能上来说这个for循环是负责输出字符串中除去最后10个字符的前面部分。当运行编译运行时,会发现程序胡乱输出,并最终可能给出一个
Segmentation fault。这个非常出乎意料,按照原先的剧情,这个for应该根本无法进入才对。当你使用debug工具去debug时你会惊奇的发现真的会进入循环内部。
原因在于
size_t或者
string::size_type其实是一个
unsigned的整数,因此情景中
s.size() - 10的结果值并不是一个负数,而是一个非常大的整数。
再来看另一个场景,这次是逆序输出字符串中的字符:
std::string s = "abcd" for (size_t i=s.size() - 1; i >= 0; i--) { std::cout<<s[i]<<" "; }
此时我们还是装逼的使用了
size_t类型作为迭代变量,编译运行会发现程序又是一阵抽风或者根本停不下来。原因还是一样的,
size_t作为无符号类型无论如何在
i >= 0这个条件判断中总是会通过的。其实编译器在编译时已经给出了警告:
sizet.cpp:6:31: warning: comparison of unsigned expression >= 0 is always true [-Wtautological-compare]
for (size_t i=s.size() - 1; i>=0; i--) {
~^ ~
1 warning generated.
所以一般情况下我们还是直接使用int作为迭代变量或者作为终止条件变量:
int end = s.size() - 10; for (int i=0; i<end; i++) { std::cout<<s[i]<<" "; }
当然这样会有编译警告说类型转换可能会有精度丢失。但是我们要想一下有符号的int能表示2GB的空间,也就是大约20亿的数据项,如果这个数据项是整数的话在多于8GB的空间时才会溢出。对于一般的应用程序级别的容器根本无法达到这种量级。
当然的,对于广大装逼爱好者,还是要掌握容器迭代的正确姿势的:
// C++11 foreach (string s = "abcd") for (char ch : s) { std::cout<<ch<<" "; } // using iterator for (auto iter = s.begin(); iter != s.end(); i++) { } // using reverse iterator for (auto iter = s.rbegin(); iter != s.rend(); i++) { }
有偏见的引用
下面是一个再寻常不过的例子int value = 10086; int &valref = value;
当我们稍作修改改为如下语句时,编译就无法通过
double value = 10086.233; int &valref = value;
type.cpp:8:7: error: non-const lvalue reference to type 'int' cannot bind to a value of unrelated type 'double'
int &valref = value;
^ ~~~~~
1 error generated.
看来引用必须是同类型的,然而看了下面这段又不能如此过早下结论
double value = 10086.233; const int &valref = value; cout<<valref<<endl;
上述代码会编译通过并输出10086。
C++ Primer 5th给出的解释如下:
double value = 10086.233; const int tmp = value; const int &valref = tmp;
在使用常量引用时因为只需要读取原变量的值,所以中间创建了一个用于隐式类型转换的临时变量,常量引用最终使用的值就是这个临时变量的值。那么这里就有个问题,下面两段代码的输出会是什么:
int value = 10086; const &valref = value; value = value + 1; cout<<valref<<endl;
输出:10087
double value = 10086.233; const &valref = value; value = value + 1; cout<<valref<<endl;
输出:10086
得知这个消息我还是稍稍有点震惊的,不过一想这种代码估计除了这里其他地方就不会出现吧!类型隐式转换还是挺危险的。上述的都是基本类型的变量,下面来试一试复杂类型看看有没有真的产生临时变量:
#include <iostream> #include <string> using namespace std; class Double { private: double val; public: Double(double v = 0.0) : val(v) { cout<<"Double constructor with double value"<<endl; } double value() const { return val; } void change(double delta) { val += delta; } }; class Integer { private: int val; public: Integer(int v = 0) : val(v) { cout<<"Integer constructor with integer value"<<endl; } Integer(Double& v) : val(v.value()) { cout<<"Integer constructor with Double"<<endl; } int value() const { return val; } }; int main() { Double dnum(10086.233); const Integer &inum = dnum; dnum.change(1); cout<<inum.value()<<endl; return 0; }
由于Integer类的构造函数中可以接受Double对象并且没有声明为explicit所以可以将Double类型隐式转换为Integer类型。当使用复杂类型再来看这个规则时,会更明白的发现为什么中间要产生一个用于类型转换的临时对象。因为类型不同使用不同的引用类型必然引起混乱,就像一个类型的指针指向不同的类型的存储区域一样(引用在汇编就是用的指针,机器并没有引用对应的专门指令)。而临时对象的产生使得引用变量和最初类型的变量脱离了关系(如果是基本类型,或者用于类型转换的构造函数中没有对内部结构进行共享)。
这也是为什么const引用可以指向不同类型而一般引用不行,因为const引用只能读取对象数据,信息是单向流动(类型转换生成临时对象即可解决),而非const引用还可以修改原对象数据,是一个双向的过程,仅仅靠类型转换生成临时对象是无法解决的。其实觉得能够实现const引用不同类型已经是非常不错了,也没比较在推广下去,因为这种几乎钻牛角尖的语言特性反而使得C++变得难用易错。引用最一般的解释就是说是对象的别名,现在因为不同类型的转换而使得与原有对象可能脱离了联系,也就没有了变量“别名”的语义。
相关文章推荐
- Online Judge System For SzNOI 题库 语法百题 c++ d040
- Online Judge System For SzNOI 题库 语法百题 c++ d039
- Online Judge system For SzNOI 题库 语法百题 c++ d038
- Online Judge System For SzNOI 题库 语法百题 c++ d037
- Online Judge System For SzNOI 题库 语法百题 c++ d035
- Online Judge System For SzNOI 题库 语法百题 c++ d036
- Online Judge System For SzNOI 题库 语法百题 c++ d034
- Online Judge System For SzNOI 题库 语法百题 c++ d033
- Online Judge System For SzNOI 题库 语法百题 c++ d032
- C++线程池
- Online Judge System For SzNOI 题库 语法百题 c++ d031
- C++虚函数表分析
- PAT (Basic Level) Practise (中文)1039. 到底买不买(20) C语言
- 计算导论与C语言基础(专项课程之一)
- C++回忆录:(一)new和malloc的区别
- C++常见面试题
- MFC、VC、C++、QT、QTcreater和QTSDK、OSG、OpenGL和OSGEARTH 作者zhangke95
- extern “C”
- C++——友元、异常和其他
- [C++学习笔记]--函数指针