第二章 2.4.4节练习 & 2.5.2节练习

练习2.32

下面的代码是否合法？如果非法，请设法将其修改正确。

int null = 0, *p = null;

解答:

不合法，这里将一个整型对象赋值给一个整型指针是错误的。

修改如下

int null = 0, *p = nullptr;

练习2.33

利用本节定义的变量，判断下列语句的运行结果。

a = 42; b = 42; c = 42;

d = 42; e = 42; g = 42;

解答：

a,b.c是整型，所以赋值后都为42.

d是整型指针，所以赋值42是非法的

e是指向整型常量的指针，所以赋值42也是非法的

g是整型常量引用，所以赋值42是非法耳朵

练习2.34

给予上一个练习中的变量和语句编写一段程序，输出赋值前后变量的内容，你刚才判断正确吗？如果不对，请反复研读本节的示例直到你明白错在何处为止。

解答：

#include <iostream>

int main(){
	int i = 0, &r = i;
	auto a = r;
	const int ci = i, &cr = ci;
	auto b = ci;
	auto c = cr;
	auto d = &i;
	auto e = &ci;
	const auto f = ci;
	auto &g = ci;

	a = 42;
	b = 42;
	c = 42;
	d = 42;
	e = 42;
	g = 42;
}

可以看一下编译器的错误提示。

练习2.35

判断下列定义推断出的类型时什么，然后写程序进行验证。

const int i = 42;

auto j = i;

const auto &k = i;

auto *p = &i;

const auto j2 = i, &k2 = i;

解答：

j 是整型

k是整型常量引用

p是整型常量指针

j2是整型常量

k2是整型常量引用

这里可以用到19章节的内容来帮助我们判断各个变量的类型。

#include <iostream>
#include <typeinfo>

using namespace std;

int main(){
	const int i = 42;
	auto j = i;
	const auto &k = i;
	auto *p = &i;
	const auto j2 = i, &k2 = i;

	cout << typeid(j).name() << endl;
	cout << typeid(k).name() << endl;
	cout << typeid(p).name() << endl;
	cout << typeid(j2).name() << endl;
	cout << typeid(k2).name() << endl;
}

VS2013的结果

int
int
int const *
int
int

其中，引用也会被显示成原类型。

linux上输出的结果会不同，可以参考19章的内容。