草庐IT

C++ 左值引用与 const 关键字

木三百川 2023-04-17 原文

左值引用是已定义的变量的别名,其主要用途是用作函数的形参,通过将左值引用变量用作参数,函数将使用原始数据,而不是副本。引用变量必须在声明时同时初始化,可将 const 关键字用于左值引用,如下所示:

//声明并初始化常规左值引用变量
int x = 55;
int & rx = x;

//将const关键字用于左值引用变量,以下几种为等效表示
int x = 55;
const int & crx = x;
int const & crx = x;

Microsoft Visual Studio 中连续多个 const 会被编译器解释成一个,即 const const const const int &const int & 等效,除此之外,const int const &Microsoft Visual Studio 中也与 const int & 等效,而 int & constQT minGW 中将会报错,在 Microsoft Visual Studio 中与 int & 等效。

以上两种类型左值引用的特性如下(旧版 C++ 可能与下列特性不十分吻合,以 C++11 为准):

  • 类型为 int & 的引用 rx 只能作为已有变量的别名,不会生成临时变量,可修改所引用变量的值,可将 int 变量、int & 变量、int * 指针所指变量、int *const 指针所指变量在初始化时赋给 rx接受可通过地址访问的非 const 变量),必须在声明时初始化,后续无法更换所引用的变量。变量初始化完成后,其表现与 int 类型一致。

  • 类型为 const int & 的引用 crx 既可作为已有变量的别名,也可在合适的时候生成临时变量,成为该临时变量的别名,但不可修改所引用变量的值,可将 int 变量、const int 变量、int & 变量、const int & 变量、int * 指针所指变量、int *const 指针所指变量、const int * 指针所指变量、类型为 int 的非左值(比如字面常量 100、多项表达式 1+50*2、函数的 int 返回值)、类型不是 int 但可转换为 int 的变量或非左值(比如 short 变量、short & 变量、多项表达式 1.0+50.0*2.0、字面常量 100.0、函数的 double 返回值)在初始化时赋给 crx,也必须在声明时初始化,后续无法更换所引用的变量。变量初始化完成后,其表现与 const int 类型一致。

常见的左值有:变量、数组元素、结构成员、引用、解除引用的指针

常规左值引用变量的初始化用法如下:

//初始化用法一:作为short变量别名
short x = 55;
short & rx = x;
cout << x;  //结果为55
cout << rx; //结果为55
cout << &x; //32位系统结果为0x0093F7BC
cout << &rx;//32位系统结果为0x0093F7BC
cout << sizeof(x); //结果为2
cout << sizeof(rx);//结果为2

//初始化用法二:作为short变量别名,多层引用
short x = 55;
short & rx = x;
short & rxx = rx;

//初始化用法三:作为short变量别名,指针表示法,指针为short*
short x = 55;
short * px = &x;
short & rx = *px;

//初始化用法四:作为short变量别名,指针表示法,指针为short *const
short x = 55;
short * const px = &x;
short & rx = *px;

const 关键字修饰的左值引用变量初始化用法如下:

//初始化用法一:作为short变量别名
short x = 55;
const short & rx = x;

//初始化用法二:作为const short变量别名
const short x = 55;
const short & rx = x;

//初始化用法三:作为short变量别名,多层引用
short x = 55;
short & rx = x;
const short & rxx = rx;

//初始化用法四:作为short变量别名,多层引用,第一层引用为const
short x = 55;
const short & rx = x;
const short & rxx = rx;

//初始化用法五:作为short变量别名,指针表示法,指针为short*
short x = 55;
short * px = &x;
const short & rx = *px;

//初始化用法六:作为short变量别名,指针表示法,指针为const short*
short x = 55;
const short * px = &x;
const short & rx = *px;

//初始化用法七:作为short变量别名,指针表示法,指针为short *const
short x = 55;
short *const px = &x;
const short & rx = *px;

//初始化用法八:作为short变量别名,指针表示法,指针为const short *const
short x = 55;
const short *const px = &x;
const short & rx = *px;

//初始化用法九:将创建临时变量,类型为int的非左值,字面常量
const int & rx = 100;

//初始化用法十:将创建临时变量,类型为int的非左值,多项表达式
const int & rx = 1+50*2;

//初始化用法十一:将创建临时变量,类型为int的非左值,函数返回int值
const int & rx = abs(10);

//初始化用法十二:将创建临时变量,类型不是int但可转换为int的变量
short x = 55;
const int & rx = x;
cout << x;  //结果为55
cout << rx; //结果为55
cout << &x; //32位系统结果为0x006FFCF0
cout << &rx;//32位系统结果为0x006FFCD8
cout << sizeof(x); //结果为2
cout << sizeof(rx);//结果为4

//初始化用法十三:将创建临时变量,类型不是int但可转换为int的非左值,字面常量
const int & rx = 100.0;

//初始化用法十四:将创建临时变量,类型不是int但可转换为int的非左值,多项表达式
const int & rx = 1.0+50.0*2.0;

将初始化时 int &const int & 可接受的形式列个表,如下:

初始化时可接受的形式 int & 类型 const int & 类型
int 变量 可以 可以
const int 变量 不可以 可以
int & 变量 可以 可以
const int & 变量 不可以 可以
int * 所指变量 可以 可以
int * const 所指变量 可以 可以
const int * 所指变量 不可以 可以
const int * const 所指变量 不可以 可以
形如 100int 字面常量 不可以 可以(将创建临时变量)
形如 1+50*2int 多项表达式 不可以 可以(将创建临时变量)
返回类型为 int 的函数返回值 不可以 可以(将创建临时变量)
类型可以转换为 int 的变量 不可以 可以(将创建临时变量)
形如 100.0 可转换为 int 的字面常量 不可以 可以(将创建临时变量)
形如 1.0+50.0*2.0 可转换为 int 的多项表达式 不可以 可以(将创建临时变量)

有关C++ 左值引用与 const 关键字的更多相关文章

  1. ruby - 一个 YAML 对象可以引用另一个吗? - 2

    我想让一个yaml对象引用另一个,如下所示:intro:"Hello,dearuser."registration:$introThanksforregistering!new_message:$introYouhaveanewmessage!上面的语法只是它如何工作的一个例子(这也是它在thiscpanmodule中的工作方式。)我正在使用标准的ruby​​yaml解析器。这可能吗? 最佳答案 一些yaml对象确实引用了其他对象:irb>require'yaml'#=>trueirb>str="hello"#=>"hello"ir

  2. ruby - Ruby 的 AST 中的 'send' 关键字是什么意思? - 2

    我正在尝试学习Ruby词法分析器和解析器(whitequarkparser)以了解更多有关从Ruby脚本进一步生成机器代码的过程。在解析以下Ruby代码字符串时。defadd(a,b)returna+bendputsadd1,2它导致以下S表达式符号。s(:begin,s(:def,:add,s(:args,s(:arg,:a),s(:arg,:b)),s(:return,s(:send,s(:lvar,:a),:+,s(:lvar,:b)))),s(:send,nil,:puts,s(:send,nil,:add,s(:int,1),s(:int,3))))任何人都可以向我解释生成的

  3. ruby - Chef LW 资源属性默认值如何引用另一个属性? - 2

    我正在尝试将一个资源属性的默认值设置为另一个属性的值。我正在为我正在构建的tomcat说明书定义一个资源,其中包含以下定义。我想要可以独立设置的“名称”和“服务名称”属性。当未设置服务名称时,我希望它默认为为“名称”提供的任何内容。以下不符合我的预期:attribute:name,:kind_of=>String,:required=>true,:name_attribute=>trueattribute:service_name,:kind_of=>String,:default=>:name注意第二行末尾的“:default=>:name”。当我在Recipe的新block中引用我

  4. ruby-on-rails - `const_missing' : uninitialized constant (NameError) - 2

    每次我尝试使用“script/runner-eproductionClassName.run”从我的Rails2.2应用程序的lib目录运行任何类时,我都会收到以下错误:/usr/lib/ruby/gems/1.8/gems/rails-2.2.2/lib/commands/runner.rb:47:/usr/lib/ruby/gems/1.8/gems/activesupport-2.2.2/lib/active_support/dependencies.rb:89:in`const_missing':uninitializedconstantClassName(NameError)

  5. ruby - 在 Ruby 中,为什么 Array.new(size, object) 创建一个由对同一对象的多个引用组成的数组? - 2

    如thisanswer中所述,Array.new(size,object)创建一个数组,其中size引用相同的object。hash=Hash.newa=Array.new(2,hash)a[0]['cat']='feline'a#=>[{"cat"=>"feline"},{"cat"=>"feline"}]a[1]['cat']='Felix'a#=>[{"cat"=>"Felix"},{"cat"=>"Felix"}]为什么Ruby会这样做,而不是对object进行dup或clone? 最佳答案 因为那是thedocumenta

  6. ruby - 引用具有指定索引的枚举器值 - 2

    假设我有一个可枚举对象enum,现在我想获取第三个项目。我知道一种通用方法是转换成数组,然后使用索引访问,如:enum.to_a[2]但这种方式会创建一个临时数组,效率可能很低。现在我使用:enum.each_with_index{|v,i|breakvifi==2}但这非常丑陋和多余。执行此操作最有效的方法是什么? 最佳答案 你可以使用take剥离前三个元素,然后剥离last从take给你的数组中获取第三个元素:third=enum.take(3).last如果您根本不想生成任何数组,那么也许:#Ifenumisn'tanEnum

  7. ruby - 为什么 return 关键字会导致我的 'if block' 出现问题? - 2

    下面的代码工作正常:person={:a=>:A,:b=>:B,:c=>:C}berson={:a=>:A1,:b=>:B1,:c=>:C1}kerson=person.merge(berson)do|key,oldv,newv|ifkey==:aoldvelsifkey==:bnewvelsekeyendendputskerson.inspect但是如果我在“ifblock”中添加return,我会得到一个错误:person={:a=>:A,:b=>:B,:c=>:C}berson={:a=>:A1,:b=>:B1,:c=>:C1}kerson=person.merge(berson

  8. ruby - 在 Ruby 中跳过额外的关键字参数 - 2

    我定义了一个方法:defmethod(one:1,two:2)[one,two]end当我这样调用它时:methodone:'one',three:'three'我得到:ArgumentError:unknownkeyword:three我不想从散列中一个一个地提取所需的键或排除额外的键。除了像这样定义方法之外,有没有办法规避这种行为:defmethod(one:1,two:2,**other)[one,two,other]end 最佳答案 如果不想写**other中的other,可以省略。defmethod(one:1,two:2

  9. ruby - 在多个线程中引用类方法会导致自动加载循环依赖崩溃 - 2

    代码:threads=[]Thread.abort_on_exception=truebegin#throwexceptionsinthreadssowecanseethemthreadseputs"EXCEPTION:#{e.inspect}"puts"MESSAGE:#{e.message}"end崩溃:.rvm/gems/ruby-2.1.3@req/gems/activesupport-4.1.5/lib/active_support/dependencies.rb:478:inload_missing_constant':自动加载常量MyClass时检测到循环依赖稍加研究后,

  10. Ruby 泄露的对象被 RubyVm::Env 引用 - 2

    我正在跟踪我们的应用程序(ruby2.1)中的内存泄漏问题。我正在使用这两种技术:ObjectSpace.dump_all将所有对象转储到JSON流,然后进行离线分析。我使用的第二种技术是使用ObjectSpace.reachable_objects_from进行实时分析。在这两种方式中,我发现我泄漏的对象被一个对象RubyVM::Env引用。任何人都可以向我解释什么是RubyVM::Env。如何删除这些引用? 最佳答案 RubyVM::Env是一个包含变量引用的内部ruby​​类。这是我的测试:require'objspace'a

随机推荐