假设两个指向同一个变量的指针是非法的/UB，为什么C编译器不能优化更改const指针的值呢？ - 腾讯云开发者社区 - 腾讯云

开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

老梁聊C++，为什么不能修改set里的值？如果非要修改怎么办？

这里有必要说明一下，在C++当中const修饰符出现的位置不同有不同的含义。以指针举例，const T* p和T* const p是两种完全不同的指针，前者表示不能通过指针去修改指向对象的内容。...如p->x = 100;这样的操作都是非法的。而后者表示指针只能在初始化时设置指向的内容，之后不能修改指向，如p=&t;是非法的。...有些同学可能会觉得疑惑，我们加上const的目的不就是为了对变量做限制，从而可以在编译的时候通过编译器来替我们检查一些非法的操作吗？既然如此，又为什么需要去掉呢？...主要的原因是有时候我们手上的变量有const修饰，但是我们想要调用一个函数，而函数的内部会对指针或引用指向的值进行修改。...原来是编译器针对第一种情况做了优化，因为a初始化时给的是一个常量，所以当我们输出的时候，编译器就直接取了3代替了它实际原本应该的值。

9681 0

「我读」PL 观点 | 未定义行为有利的一面

虽然编译器实现可能会针对未定义行为给出诊断信息，但保证编写的代码中不引发未定义行为是程序员自己的责任。这种假设的成立，通常可以让编译器对代码作出更多优化，同时也便于做更多的编译期检查和静态程序分析。...解引用悬空指针或者是未对齐指针打破指针别名规则（引用生命周期不能长于其引用的对象，可变引用不能被别名）。...使用错误的调用 ABI 执行使用当前执行线程不支持的目标特性（target features）编译的代码产生无效的值 dyn Trait 如果元数据不是指向， Trait 与指针或引用指向的实际动态...Ralf 认为， UB 是编程语言设计者工具箱中一个有价值的工具。因为 UB 可以看作是程序员向编译器传达的其自身对代码的理解，以此可以帮助编译器实现更多优化。...所以，需要明白，编译器并不是真的知道这段代码是否有未定义行为，它只是在假设没有未定义行为的情况下进行优化。 unreachable_unchecked 本身是一种 UB 行为，不建议随便使用。

1.6K3 0

您找到你想要的搜索结果了吗？

是的

没有找到

const关键字到底该什么用

本文说明C中的const关键字，不包括C++。基本介绍 const是constant的简写，是不变的意思。但并不是说它修饰常量，而是说它限定一个变量为只读。...NUM再次赋值的操作是非法的，编译器将会报错。...： 1.const 修饰 *p，指向的对象只读，指针的指向可变： int a = 9; int b = 10; const int *p = &a;//p是一个指向int类型的const值,与int const...那么我们不禁要问，const到底做了什么呢？它修饰的变量是真正意义上的只读吗?为什么它修饰的变量的值仍然可以改变？...当然这一个例子并不能说明所有的问题。但是我们要知道的是，const关键字告诉了编译器，它修饰的变量不能被改变，如果代码中发现有类似改变该变量的操作，那么编译器就会捕捉这个错误。

5672 0

volatile关键字

也可以修饰可能被未知因数更改的变量 const volatile int i=0;const volatile int i=0;这是一个有趣的语句：首先const修改i，其被定义为一个常量，不能更改，只能初始化...volatile也修饰了i，告诉编译器变量极有可能被未知因素更改，每次访问读值都有去内存取值( “volatile”的含义是“请不要做没谱的优化，这个值可能变掉的”，而并非“你可以修改这个值”。)...这两个使用并不矛盾，所以这里的i的属性是在本程序中，i应该是只读的，不应该被修改的，但是它也可能被外部的例如中断，共享的线程通过某种方式修改(如其他线程直接调用汇编去修改)，所以这里也不该被编译器优化，...因此，const和volatile放在一起的意义在于：（1）本程序段中不能对a作修改，任何修改都是非法的，或者至少是粗心，编译器应该报错，防止这种粗心；（2）另一个程序段则完全有可能修改，因此编译器最好不要做太激进的优化...volatile 指针和 const 修饰词类似，const 有常量指针和指针常量的说法，volatile 也有相应的概念：修饰由指针指向的对象、数据是 const 或 volatile 的：const

1351 0

C++基础语法重点总结

const还能用来修饰局部变量，修饰常量字符串，修饰指针和修饰函数的参数和返回值。说一说修饰指针的情况 const修饰指针，分有常量指针和指针常量。...常量指针说的是指针的指向是一个常量，不可以通过指针去修改这个常量的值，但是指针可以改变指向。指针常量说得是它是一个常量，它不可以改变指向，但是可以通过指针修改指向的内容。...使用场景一般是在多线程的共享变量上。 const和volatile结合使用，可以让该变量具有常量，且不会被编译器优化。...当其它一些线程对该变量进行修改时，可以告诉编译器，这个变量不要优化，可以去内存中读取最新的值。...指针被volatile修饰告诉编译器该指针所指向的对象可能会在不同的时间被外部因素更改，并且在访问该指针时应该直接读取或写入内存，而不做任何优化。

1893 0

C++面试题,阿里、百度、腾讯、华为、小米100道C++面试题目及答案

delete释放其实只是释放了申请的这块内存空间，但是指针并没有没撤销，指针还是指向这块地址，但是不可用（靠人品吃饭的有可能可以用），是非法的。...按照题意，我理解为初始化一个存放指针的数组，char *array[2]={“China”,”Beijing”}；其含义是初始化了一个有两个指向字符型数据的指针的数组，这两个指针分别指向字符串”China...顺带提一句，也许你可能会问，即使不用关键字 const，也还是能很容易写出功能正确的程序，那么我为什么还要如此看重关键字const呢？我也如下的几下理由： 1)....按照题意，我理解为初始化一个存放指针的数组，char *array[2]={“China”,”Beijing”}；其含义是初始化了一个有两个指向字符型数据的指针的数组，这两个指针分别指向字符串”China...2)有些编译器可以对const常量进行调试，不能对宏调试。 19、 C++函数中值的传递方式有哪几种? 正确答案： C++函数的三种传递方式为：值传递、指针传递和引用传递。

1.8K2 0

嵌入式软件开发常用的关键字和运算符

1、volatile关键字 volatile是一个特征修饰符，提醒编译器它后面所定义的变量随时都有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，告诉编译器对该变量不做优化，都会直接从变量内存地址中读取数据...3、修饰指针 C语言中const修饰指针要特别注意，共有两种形式，一种是用来限定指向空间的值不能修改；另一种是限定指针不可更改。...int i = 1; int j = 2; const int *p1 = &i; int* const p2 = &j; 上面定义了两个指针p1和p2，区别是const后面是指针本身还是指向的内容。...在定义1中const限定的是*p1，即其指向空间的值不可改变，若改变其指向空间的值如*p1=10，则程序会报错；但p1的值是可以改变的，对p1重新赋值如p1=&k是没有任何问题的。...在定义2中const限定的是指针p2，若改变p2的值如p2=&k，程序将会报错；但*p2，即其所指向空间的值可以改变，如*p2=20是没有问题的，程序正常执行。

1661 0

c++基础之变量和基本类型

对于这块内容，我觉得自己的知识还是有欠缺了，因此我决定近期重新翻一翻很早以前买的《c++ primer》学习一下，并整理学习笔记背景介绍 为什么会想到再次重新学习c++的基础内容呢？...，而且后续可以随意更改指向(当然必须指向同一数据类型) 可以多个指针指向同一个对象指针只能指向对象，指针本身也是一个对象。...类型的变量 const与指针指向const 类型变量的指针是一个指向常量指针，它的本质还是一个普通的指针，只是它不允许通过指针修改变量的值, 这种类型的指针被称之为指针常量指向const类型变量的指针与...const pci = &i; 如何区分指针常量和常量指针呢，一般来说关注最后两个字，它表示的是const修饰的具体内容，常量指针最后两个字是指针，也就是说const修饰的是指针，指针本身是一个不能修改的...const值；而指针常量，最后两个字是常量，也就说const修饰的是一个常量。

1.5K3 0

深入解析C语言数组和指针(0)

值和类型假设我们对上面的第三个位置声明如下： float c=3.14; 　　我们可以看到这和c中存储的值并不一样，我们声明的是一个浮点数，二内存中显示c是一个整数。...对于一个NULL指针进行解引用是非法的，因为它并未指向任何东西。如果你知道指针将被初始化为什么地址，就把它初始化为该地址，否则就把它初始化为NULL。...第二种形式的条件式两个指针都指向同一个数组，相减的结果是两个指针在内存中的距离。加入一个float类型的数组，每个类型占4个字节。...第二行由于下标运算符优先级高于*，所以f是一个数组，它的元素类型是指向整型的指针。　　第三行f是一个函数，它的返回值是一个整型数组。但是这个声明是非法的，因为函数只能返回标量，不能返回数组。　　...表达式&b[0]是一个指向数组第一个元素的指针，也是数组名本身的值，所以等价于： c=b; 　　但是以下表达式是错误的： a=c; a=b; 　　第一行，a为指针常量，而c是指针变量，不能把一个变量赋值给常量

1.3K3 0

1.C和C++区别,以及const分析(底层const顶层const)

为什么输出结果会有两个不同的值?...) 1)底层const(位于*左侧) 常量指针,表示指向的对象是个常量,不能修改其内容,只能更改指针指向的地址....(位于*右侧) 指针常量,表示不能更改指针指向的地址,只能修改其内容(定义时必须被初始化) 其实很好理解,比如 int * const p, 修饰 p是个const常量.而 p是指向对象的地址.所以表示指向对象的地址是个常量...//错误,不能更改指针指向的地址 *p=2; //正确,修改a的值等于2 3.4 顶层const变量可以替代mutable变量 1) mutable介绍...,因为编译器不能将该volatile类型的变量优化为一个常量实例: volatile int x=1; const int y=x; //y的值是个volatile型 int

8282 0

C语言关键字详解（四）带你全面了解 const 关键字

很不幸，正是因为这一点，很多人都认为被 const 修饰的值是常量。这是不精确的，精确的说应该是只读的变量，其值在编译时不能被使用，因为编译器在编译时不知道其存储的内容。...从上面我们可以观察到，被 const 修饰的变量直接被修改时编译器会报错，但是我们仍然可以通过指针的方式来间接修改变量的值，也就是说，const 修饰变量使变量的值不能被修改这一属性并不是绝对的，它只是编译器层次上的保证...第三个问题：既然 const 并不能真正意义上的保证变量不被修改，那为什么还要用它？...有两个方面的原因： 1、它可以让编译器在编译代码时对于用 const 修饰的变量直接进行语法检查，使我们提前发现对一些不应该被直接修改的变量被直接修改而引起的错误（最大的作用）。...如何理解“直接”：const 修饰变量使变量的值不能被修改这一属性并不是绝对的，它只是编译器层次上的保证，我们可以仍然通过间接，比如指针的方式对其进行修改。

5520 0

C++|智能指针模板类

，两个指针将同时指向同一个string对象，这显然是不能被接受的，因为程序试图删除同一个对象两次，分别发生在ps和vication过期时，要解决这个问题，可以考虑下面几种方案：定义赋值运算符，使之指向深复制...，这样两个指针将指向不同的对象，其中一个对象是另外一个的副本。...很多STL容器中的算法都支持复制和赋值操作，这些操作可以用于shared_ptr,但不能用其他两个。如果程序不需要使用多个指向同一个对象的指针，则可以使用unique_ptr。...总结一下就是: 如果程序试图将一个unique_ptr赋给另外一个时，如果源unique_ptr是一个临时右值，编译器允许这样的操作，相反，如果这个unique_ptr会存在一定的时间，那么这将会被编译器禁止...; // #2 语句#1的操作是不被允许的，而#2却屁事没有。因为#1的赋值操作将会留下一个悬挂指针unique_ptr即(pu1)。那为什么#2不会呢？它不也进行了赋值操作吗？

6101 0

c++中基本类型详细解释外加基本运算规则

引用一旦初始化后，就不可以再发生改变（不能再引用其他变量） int a=10; int c=12; //编译器自动转化为：int* const b=&b; //指针常量是指针指向不可以改变，同理证明为什么引用不可以更改...int &b=a; //int &b=c;（错误写法）引用需要一个合法的内存空间 // int &ref=10; 错误写法 //更改方法 const int &ref =10; //编译器可以优化代码即等价于...： int temp=10; const int &ref =temp; //加const以后就不能再更改变量的值了 #引用传递 #include using namespace std...int * const p= &a; 指针常量特点：指针的指向不可以改，指针指向的值可以改变。...const int * p =&a; 常量指针特点：指针的指向可以修改，但是指针指向的值不可以改变。 #指针指针是实现了对其他对象的间接访问。

1653 0

来看看这些嵌入式工程师常见面试题你会不会

顺带提一句，也许你可能会问，即使不用关键字 const，也还是能很容易写出功能正确的程序，那么我为什么还要如此看重关键字const呢？...并给出三个不同的例子。一个定义为volatile的变量是说这变量可能会被意想不到地改变，这样，编译器就不会去假设这个变量的值了。...精确地说就是，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值，而不是使用保存在寄存器里的备份。...这段代码的目的是用来返指针*ptr指向值的平方，但是，由于*ptr指向一个volatile型参数，编译器将产生类似下面的代码： int square(volatile int *ptr) {...在某工程中，要求设置一绝对地址为0x67a9的整型变量的值为0xaa66。编译器是一个纯粹的ANSI编译器。写代码去完成这一任务。

6352 0

C++_引用

x); //报错 const int &a = A(x); //不报错 }说明A的返回值是一个具有常性在引用的时候权限不能放大，只能缩小或者不变，所以必须声明被a引用时的对象是个常量才可以 为什么使用引用来接收...引用只是取别名，a就是A的返回值n本身如果使用值来接收，int a = A(b)，是将A的返回值拷贝赋值给a，不是同一个变量了传引用返回 int &A (int b) { int n;...tem是n的引用，则通过返回值访问n的时候就是非法访问所以C++的规定是：离开函数作用域之后，如果返回值的内存还没有被释放(比如返回值类型是静态变量全局变量之类)，则可以使用引用返回，否则必须使用传值返回...引用在定义时必须初始化，指针没有要求引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以在任何时候指向任何一个同类型实体没有NULL引用，但有NULL指针在sizeof中含义不同：引用结果为引用类型的大小...，但指针始终是地址空间所占字节个数(32位平台下占 4个字节) 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小有多级指针，但是没有多级引用访问实体方式不同，指针需要显式解引用，引用编译器自己处理

2633 0

C++变量的存储说明符和cv-限定符

register修饰变量将创建一个寄存器变量，理念在于CPU访问寄存器中的值比访问普通存储在堆栈中的值速度要快，声明方法： register int count_fast; 需要注意的是，编译器并不一定会满足将变量放在寄存器中的要求...，假设文件1声明了一个外部变量，文件2要使用它，必须使用extern来修饰，因为不能创建两个同名的外部变量，如上文所述。...为什么会发生变化呢？因为假设你指针指向某个硬件位置，其中包含来自串行端口的时间或信息，这就有可能硬件本身改变它，而不是你程序去改变它。那为什么要告诉程序它可能变化呢？...因为假设编译器发现程序在几条语句中都使用了某个变量，那么为了优化，它不会让程序去查多次，而是缓存到寄存器中。...这种优化是在变量本身不会被程序改变的前提下的，但是如果硬件改变了变量值，那就不能用这种优化了。因此volatile关键字实际上也就是告诉编译器，不要对这个变量做这种优化。

5911 0

C++基础闯关100题，你能闯多少？【2021超硬核大厂高频面试题】

指针是一个变量，存储的是一个地址，引用跟原来的变量实质上是同一个东西，是原变量的别名指针可以有多级，引用只有一级指针可以为空，引用不能为NULL且在定义时必须初始化指针在初始化后可以改变指向...如int const *p或const int *p。指针常量是一个不能给改变指向的指针。指针是个常亮，不能中途改变指向，如int *const p。 22、a和&a有什么区别？...，这样在使用时编译器就会直接报错，产生非法内存访问。...浅拷贝：在拥有指针成员的类中，一个对象利用拷贝构造函数或者赋值函数拷贝或者赋值给另一个对象的时候，直接将这个对象的指针成员赋值给另一个对象的指针成员，将一个指针赋值给另一个指针，就会使两个指针指向同一个空间...和重载的区别在于两个函数不在同一个类中。

1.9K2 0

ios 笔试题3

；（3）在一个函数声明中，const 可以修饰形参，表明它是一个输入参数，在函数内部不能改变其值；（4）对于类的成员函数，若指定其为 const 类型，则表明其是一个常函数，不能修改类的成员变量...并给出三个不同的例子。一个定义为 volatile的变量是说这变量可能会被意想不到地改变，这样，编译器就不会去假设这个变量的值了。...精确地说就是，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值，而不是使用保存在寄存器里的备份。下面是volatile变量的几个例子： ?...; 一个参数既可以是const还可以是volatile吗？解释为什么。 ?; 一个指针可以是volatile 吗？解释为什么。下面是答案： ?; 是的。一个例子是只读的状态寄存器。...用变量a给出下面的定义 a) 一个整型数（An integer） b)一个指向整型数的指针（ A pointer to an integer） c)一个指向指针的的指针，它指向的指针是指向一个整型数

6991 0

C++从入门到精通——引用(&)

C++的引用前言 C++的引用是别名，它为已存在的对象提供了另一个名称。一旦引用被初始化指向一个对象，它就不能再指向其他对象。引用必须在声明时初始化，并且必须初始化为有效的对象或字面量。...一个变量可以有多个引用引用与指针不同，指针是一个对象，可以指向任何其他对象，而引用始终指向同一个对象。另外，引用在使用时不需要解引用操作符(*)，因为它本身就是对象的别名。...C++中的常引用是指使用const关键字修饰的引用，即被引用的对象不能被修改。...，类型不同 const int& rd = d; 如上为什么int& rd = d;不行，而 const int& rd = d;确可以，是因为类型转换会生成临时变量，类型转换是将一个数据类型的值转换为另一个数据类型的值...运算符重载：当重载一个运算符时，可能会生成临时变量来进行操作。需要注意的是，编译器为了优化性能可能会对临时变量进行优化，比如使用编译器自动生成的构造函数、析构函数等。

831 0

令人疑惑的引用和指针

前言在C++ 11中，新增了一种引用（本文都指左值引用）。从作用上来讲，它和指针类似，都可以用来间接引用对象，他们之间到底有什么异同呢？引用在分析之前我们先介绍一下引用。...b; //非法，b在此之前已经是引用，不能定义引用的引用 int &d = 1024; //非法，引用类型的初始值必须是对象，而不能是字面值 const int &e = 1024 //合法...引用和指针比较引用不可为空，而指针可以例如： int &a; //非法，必须被初始化 int *p;//合法，但如果是非静态的指针变量，将拥有一个不确定的值声明一个指针变量而不初始化是合法的，但是不建议这么做...引用不是对象，而指针本身是对象引用不是对象，它不能被再次赋值，而指针是可以的。...int a = 1024; int &b = a; int &&c = b;//非法 int *d = &a; int **e = &d;//合法引用指向对象本身，而指针指向的是对象的地址定义一个指针的时候

5822 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭