C++ 变量-CSDN博客

本文链接：https://blog.csdn.net/vivian_ll/article/details/82596431

最近看书做题，顺便复习一下c++，把涉及到的知识点记录如下。

一、变量的定义

变量其实只不过是程序可操作的存储区的名称。C++ 中每个变量都有指定的类型，类型决定了变量存储的大小和布局，该范围内的值都可以存储在内存中，运算符可应用于变量上。

变量的名称可以由字母、数字和下划线字符组成。它必须以字母或下划线开头。大写字母和小写字母是不同的，因为 C++ 是大小写敏感的。

变量定义

变量定义就是告诉编译器在何处创建变量的存储，以及如何创建变量的存储。变量定义指定一个数据类型，并包含了该类型的一个或多个变量的列表。

变量声明

变量声明向编译器保证变量以给定的类型和名称存在，这样编译器在不需要知道变量完整细节的情况下也能继续进一步的编译。变量声明只在编译时有它的意义，在程序连接时编译器需要实际的变量声明。

当您使用多个文件且只在其中一个文件中定义变量时（定义变量的文件在程序连接时是可用的），变量声明就显得非常有用。您可以使用 extern 关键字在任何地方声明一个变量。虽然您可以在 C++ 程序中多次声明一个变量，但变量只能在某个文件、函数或代码块中被定义一次。

C++ 中的左值（Lvalues）和右值（Rvalues）

C++ 中有两种类型的表达式：

左值（lvalue）：指向内存位置的表达式被称为左值（lvalue）表达式。左值可以出现在赋值号的左边或右边。
右值（rvalue）：术语右值（rvalue）指的是存储在内存中某些地址的数值。右值是不能对其进行赋值的表达式，也就是说，右值可以出现在赋值号的右边，但不能出现在赋值号的左边。
变量是左值，因此可以出现在赋值号的左边。数值型的字面值是右值，因此不能被赋值，不能出现在赋值号的左边。

二、变量的作用域

作用域是程序的一个区域，一般来说有三个地方可以定义变量：

在函数或一个代码块内部声明的变量，称为局部变量。
在函数参数的定义中声明的变量，称为形式参数。
在所有函数外部声明的变量，称为全局变量。

局部变量

在函数或一个代码块内部声明的变量，称为局部变量。它们只能被函数内部或者代码块内部的语句使用。

全局变量

在所有函数外部定义的变量（通常是在程序的头部），称为全局变量。全局变量的值在程序的整个生命周期内都是有效的。
全局变量可以被任何函数访问。也就是说，全局变量一旦声明，在整个程序中都是可用的。
在程序中，局部变量和全局变量的名称可以相同，但是在函数内，局部变量的值会覆盖全局变量的值。

初始化局部变量和全局变量

当局部变量被定义时，系统不会对其初始化，您必须自行对其初始化。
定义全局变量时，系统会自动初始化为下列值：

数据类型	初始化默认值
int	0
char	‘\0’
float	0
double	0
pointer	NULL

正确地初始化变量是一个良好的编程习惯，否则有时候程序可能会产生意想不到的结果。

int x =0; 跟 int x; 的效果看起来是一样的。但其实这里面的差别很大，强烈建议大家所有的全局变量都要初始化，他们的主要差别如下：

编译器在编译的时候针对这两种情况会产生两种符号放在目标文件的符号表中，对于初始化的，叫强符号，未初始化的，叫弱符号。连接器在连接目标文件的时候，如果遇到两个重名符号，会有以下处理规则：
1、如果有多个重名的强符号，则报错。
2、如果有一个强符号，多个弱符号，则以强符号为准。
3、如果没有强符号，但有多个重名的弱符号，则任选一个弱符号。

例：

#include "stdafx.h"
int i;
int main(int argc, char* argv[])
{
 printf(" i = %d\n",i);
 int j;
 printf(" j= %d\n",j);
 return 0;
}

在Debug版下，i输出是0，j输出是-858993460，也就是0xCCCCCCCC。
至于为什么是这个值，有网友给出这个解释。（设计成0xcccccccc是有特殊用意的……这个好像叫做Poison，未初始化的Pointer去取值的话会出错。肯定有人问为什么不弄成0x00000000，因为空指针是指针的有效状态，可能会误导人，而0xCCCCCCCC在Windows下永远不可能是一个指针的有效状态（不是NULL，不指向一个对象，不指向一堆对象紧接之后的区域），这就是在模拟野指针……）
值得注意的是，同样的代码在Release版下，这段代码中未被初始化的变量最后打印出来的可能都是0。也有强大的网友给出解释。（重点在于vc的一个功能：Catch release-build errors in debug build用/GZ编译开关打开。debug版这个开关是开的，release版是关的（为了效率）。这个开关说白了就是把所有动态局部变量初始化成0xcccccccc，把所有动态堆变量初始化成0xcdcdcdcd。很多新手会忘记初始化这些本来应该初始化的变量（尤其是new出来的变量），有时他们会假定这些变量应该是0，这样就可能出现在release版正常而debug版不正常的程序，因为release版至少局部变量的初始值很可能就是0，而有时他们又会假定或者期望这些变量不是0，这样就带了一个最难发现的bug）

上面的内容出自：
http://www.kingofcoders.com/viewNews.php?type=newsCpp&id=189&number=4836955386

在C++中，为变量所分配的内存空间并不是完全“干净的”，也不会在分配空间时自动做清零处理。其结果就是，一个未初始化的变量将包含某个值，但没办法准确地知道这个值是多少。此外，每次执行这个程序的时候，该变量的值可能都会发生改变。这就有可能产生间歇性发作的问题，是特别难以追踪的。看看如下的代码片段：

if (num_value)
{}
else
{}

如果num_value是未经初始化的变量，那么if语句的判断结果就无法确定，两个分支都可能会执行。在一般情况下，编译器会对未初始化的变量给予提示。下面的代码片段在大多数编译器上都会引发一个警告信息。

int foo()
{
    int number;
    return number;
}

但是，还有一些简单的例子则不会产生警告：

void increment(int &num_value)
{
    ++num_value;
}
int foo()
{
    int number;
    increment(number);
    return number;
}

以上的代码片段可能不会产生一个警告，因为编译器一般不会去跟踪查看函数increment()到底有没有对nValue赋值。

未初始化变量更常出现于类中，成员的初始化一般是通过构造函数的实现来完成的。

class Foo
{
private:
    int num_value_;
public:
    Foo();
    int GetValue() { return num_value_; }
};

Foo::Foo()
{

// Oops, 我们忘记初始化num_value_了
}

int main()
{
    Foo cFoo;
    if (cFoo.GetValue() > 0)

// do something
    else

// do something else
}

注意，num_value_从未初始化过。结果就是，GetValue()返回的是一个垃圾值，if语句的两个分支都有可能会执行。

==================================================
新手程序员通常在定义多个变量时会犯下面这种错误：

int nValue1, nValue2 = 5;

这里的本意是nValue1和nValue2都被初始化为5，但实际上只有nValue2被初始化了，nValue1从未被初始化过。

切记 无论什么变量，记得初始化！！！！

《程序员面试宝典》例题：

int var = 1;
void main()
{
    int i = i;
}

main里的i是一个未定义值，因为局部作用域中的i没有初始化，输出的结果为-858993460。

部分参考自：https://www.kancloud.cn/wangshubo1989/pit/100952