Essential C++ Chapter1~2 学习记录

关于for循环

for (init-statement ; condition ; expression)
{
	statement
}

其中的init-statement会在循环开始之执行前被执行一次。

condition用于循环控制,其值会在每次循环迭代之前被计算出来,如果condition==true,statement会被执行。

expression会在循环每次迭代结束后被求值。

因此,以下两个例子的输出结果是一样的。

for(int ix=3;ix<5;ix++)
{
    cout<<ix<<endl;
} 
cout<<"   "<<endl; 
for(int ix=3;ix<5;++ix) 
{
    cout<<ix<<endl; 
}

存在的说法是

如果 i 是系统类型,两者没有性能区别。绝大多数编译器可以生成同效率代码。由于所谓的多余复制的变量并没有被用到(i++的返回值
无人使用),所以编译器优化之后跟++i等价。两者性能区别理论上存在于当 i 是一个自定义的类,并且这个类重载了++操作符,并且
这个类重载「后增量」操作符时使用了值复制作为返回值的情况,在这种情况下,有时编译器能优化掉多余的复制,有时不能。所以++
对于自定义对象类型来说会有题主所说的情况。

关于内置类型对象的初始化(P49)

内置类型的对象,如果定义在file scope之内,必定被初始化为0。但如果它们被定义于local scope之内。那么除非程序员指定其初值,否则不会被初始化。

存在的说法是

把没有特别指定初始值的全局空间初始化为0不需要程序本身付出任何直接成本。程序不需要额外的数据记录这些0,也不需要额外的
代码去设置这些0,这活操作系统直接就能替你干了。而初始化成0,实际上就是抹去内存中原来的数据,这很政治正确。对于局部变
量,初始化必须通过函数内代码实现,不论空间还是时间都有成本,而且是每次调用都有的时间成本。而栈中的数据本来也都是应用
自己的数据,不存在抹不抹的问题。

关于把输出信息打印到指定文件

ofstream ofil("相对路径\\text_out1");
void func(int size)
{
	for(int i = size;i>=0;--i)
	{
		ofil << i<<" ";
	}
	ofil << endl;
}
int main()
{
	func(10);
}
接下来就可以在text_out1文件中看到打印出来的信息,而不是在终端

Practical Example:

如果我想在某个文件中打印消息,并且把“在终端打印”or“在一个指定的文件打印”作为可选项(即函数参数)来增加函数复用性

原打印函数:
void display(const vector<int> &vec)
{
	for ( int ix=0; ix < vec.size(); ++ix)
	{
		cout << vec[ix] << ' ';
	}
	cout << endl;
}
测试一下:
int main()
{
    int ia[8] = {8,34,3,13,1,21,5,2};
    vector<int> vec(ia,ia+8);
    display(vec);
}
可选打印方式的打印函数:
void display(const vector<int> &vec, ostream &os = cout)
{
	for (int ix=0;ix<vec.size();++ix)
	{
		os << vec[ix] <<' ';
	}
	os << endl;
}
int main()
{
    int ia[8] = {8,34,3,13,1,21,5,2};
    vector<int> vec(ia,ia+8);
    // 默认终端打印
    display(vec);
    // 在指定文件内打印
    ofstream ofil("路径");
    display(vec,ofil);
}

关于C++中默认参数值的提供:

规则1:
默认值的解析(resolve)操作由最右边开始进行。如果我为某个参数提供了默认值,那么这个参数右边的所有参数都必须具有默认的参数值。例如下面的例子是非法的:
void display(ostream &os = cout ,const vector<int> &vec){}

规则2:
默认值只能够指定一次,可以在函数声明处,也可以在函数定义处,但不可两个地方都指定。一般为了更高的可见性,会将默认值放在函数的声明处而非定义处。如下:
NumericSeq.h(头文件):
void display(const vector<int> &vec, ostream &os = cout);
函数定义处;
#include "NumericSeq.h"
void display(const vector<int> &vec, ostream &os)
{
	for (int ix=0;ix<vec.size();++ix)
	{
		os << vec[ix] <<' ';
	}
	os << endl;
}

\n 和 endl 的区别

std::cout << std::endl;
相当于
std::cout << '\n' << std::flush;
或者
std::cout << '\n'; std::fflush(stdout);

由于流操作符 << 的重载,对于 ‘\n’ 和 “\n”,输出效果相同。

对于有输出缓冲的流(例如cout、clog),如果不手动进行缓冲区刷新操作,将在缓冲区满后自动刷新输出。不过对于 cout 来说(相对于文件输出流等),缓冲一般体现得并不明显。但是必要情况下使用 endl 代替 ‘\n’ 一般是个好习惯。

对于无缓冲的流(例如标准错误输出流cerr),刷新是不必要的,可以直接使用 ‘\n’。

关于以下代码的一个疑问(P54)

const vector<int>* fibon_seq(int size)
{
	~~~
	return 0;
	~~~
}

为什么return一个0,函数定义的返回值不应该是一个空指针吗?

来自孔师兄的解答——“你看的书太老了(Essential C++),C++11之后,用的都是nullptr,也就说人家返回的确实是一个地址”

我自己的验证:
#include<typeinfo>

const int * add(int num1,int num2)
{
	// 用来验证return 0 和return nullptr是不是和&c一样,确实返回了地址
    static int c=0;
    if(num1==0)
    	return &c;
    // 用来验证0和nullptr的作用是不是一样的
    else if(num1 == 1)
		return nullptr;
    else if(num1 == 2)
		return 0;
}

int main()
{
    const int *c1 = add(0,1);
    cout<<"c1="<<c1<<endl;
    cout<<"*c1="<<*c1<<endl;// 由于有实际的值,因此解引用不报错
    cout<<typeid(c1).name()<<"\n";
 
    const int *c2 = add(1,1);
    cout<<"c2="<<c2<<endl;
    // cout<<"*c2="<<*c2<<endl; 解引用空指针,报错
    cout<<typeid(c2).name()<<"\n";

    const int *c3 = add(2,1);
    cout<<"c3="<<c3<<endl;
    // cout<<"*c3="<<*c3<<endl; 解引用空指针,报错
    cout<<typeid(c3).name()<<"\n";
    cout<<"-------------\n";
    // 再次验证空指针的打印值0,但解引用出错
    int * x = nullptr;
    cout<<x<<endl;
    cout<<*x<<endl;
}

关于为什么空指针打印出来不是地址而是0?

空指针:就是一个被赋值为0的指针,它不指向任何的对象或者函数。

在C++11后,不再使用0,而是nullptr指针,这是一个定义在标准库中的值为零的常量

使用指针的第一件事就是需要看这个指针是否是空指针(坚决不能使用空指针,否则程序就会蹦。意思就是:为一个指针赋值为空指针是不会报错的;但是在使用的时候一定要判断是否为空指针(即该指针有没有指向),不为空才能操作)

  • 因此,在上例中,返回的确实是一个地址,只不过其值是0,而对空地址解引用是违规操作。

参数——个数不同用重载,类型不同用模板

一般来讲:

  • 如果函数具备多种实现方式,我们可以将其重载(overload),其每份实例提供的是相同的通用服务。

  • 如果我们希望让程序代码的主体不变,仅仅改变其中用到的数据类型,可以通过function template达到目的。

重载Example:

void display_message(const string x)
{
    cout<<"first"<<endl;
}
void display_message(const string x,int y)
{
    cout<<"second"<<endl;
}
void display_message(const string x,int y,int z)
{
    cout<<"third"<<endl;
}

int main()
{
    display_message(1);
    display_message("hang",1);
    display_message("hang",1,1);
}

模板Example1:

template<typename elemType>
void display_message(const string x,elemType y)
{
    cout<<x<<" "<<y<<endl;
}

int main()
{
    display_message("hang",1);
    cout<<endl;
    display_message("hang","wang");
}

模板Example2:

template<typename elemType>
void display_message(const string &x,vector<elemType> &vec)
{
    cout<<x<<" ";
    for(int ix=0;ix<vec.size();++ix)
    {
        elemType t = vec[ix];
        cout<<t<<" ";
    }
    cout << endl;
}

int main()
{
    const int size = 5;
    int t1[size] = {1,2,3,4,5};
    char t2[size] = {'a','b','c','d','e'};
    vector<int> t3(t1,t1+size);
    vector<char> t4(t2,t2+size);
    display_message("hang",t3);
    display_message("hang",t4);
}

关于多级指针

int main()
{
    int x = 1;
    int *p1 = &x;
    int **p2 = &p1;//可以看作int *(*p2) = &p1;,但编译器会提示warning:unnecessary parentheses
    int ***p3 = &p2;
    cout <<p1<<endl;
    cout <<*p1<<endl;
    cout<<p2<<endl;
    cout<<*p2<<endl;
    cout << p3<<endl;
    cout <<*p3<<endl;
}
输出:
0x61fe14
1       
0x61fe08
0x61fe14
0x61fe00
0x61fe08

函数指针

函数指针(pointer to function)是指针,它必须指明其所指函数的返回类型及参数列表;此外,函数指针的定义必须将*放在某个位置,表示这份定义所表现的是一个指针。

eg:

const vector<int>* *seq_str(int)
//这将seq_str定义为一个函数,参数列表中只有一个int类型,返回类型是个指针,这个指针指向另一个指针,后者指向一个const vector,其元素类型为int!为了让seq_str是一个指针,必须以小括号改变优先级,如下:
const vector<int>* (*seq_str)(int)

定义与声明

函数的定义只能有一份,但可以有很多份声明。因此不把函数的定义放在头文件中。

但有一个例外,inline函数。为了扩展inline函数的内容,在每个调用点上,编译器都能取得其定义。这意味着必须将inline函数的定义放在头文件中,而不是把它放在各个不同的程序代码文件中。

类似的,在file scope中定义的对象,如果可能被多个文件访问,就应该被声明于头文件中,而不是放在各个不同的程序代码文件中。

假如想把下面的函数指针在头文件中声明,如下

const int seq_cnt = 6;
const vector<int>* (*seq_array[seq_cnt])(int);
是错误的,因为这会被解读为seq_cnt的定义而非声明,正确格式如下
extern const vector<int>* (*seq_array[seq_cnt])(int);

extern的作用:extern可以置于变量或者函数前,以标示变量或者函数的定义在别的文件中,提示编译器遇到此变量和函数时在其他模块中寻找其定义。

可能你会疑惑,既然如此,seq_cnt对象为什么不需要加extern关键字呢?

这是因为const object和inline函数一样,是例外。const object的定义只要一出文件外便不可见,which means we can 在多个程序文件中加以定义。而seq_array是一个指向const object的指针,本身并不是const object,因此需要加extern。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值