@老虎会游泳,关于联合体,应该只有 C 能用,C++ 不能:
联合体的大小仅足以保有其最大的数据成员。其他数据成员在该最大成员的一部分相同的字节分配。分配的细节是实现定义的,且读取并非最近写入的联合体成员是未定义行为。许多编译器以非标准语言扩展实现读取联合体的不活跃成员的能力。
@老虎会游泳,诶,好像只是访问时 UB 噢,转换指针类型应该没问题?
@老虎会游泳,比如,
(long *)&y
,编译器认为结果是NULL
。。。
@老虎会游泳,万一哪天,编译器改成,看到不兼容类型的指针转换,后续都不管对这个对象的任何操作了,咋办?
反正也符合标准。。
@老虎会游泳,
( long * ) &y
这个是左值吗?解引用后,类型是long
,不是字符类型,与float
也不是兼容类型,所以应该是未定义行为。我 C/C++ 写得不多,现在看到那篇文章,就更怕编译器没能正确实现 UB 了。。
@老虎会游泳,我没能力修改
gcc
,所以就认了。要么加-fno-strict-aliasing
,要么用memcpy
,来防止结果出错。但这还会影响到性能低下问题(特别是修改了
char *
后,编译器会认为一大堆对象有可能被修改了,所以缓存失效,需要重新读取),所以我要搞懂restrict
@老虎会游泳,cppreference 说,这是 UB:
@老虎会游泳,按照标准,可能根本不会发生解引用指向float值的long指针,因为可能已经被优化掉了。。也就没有你后面说的浮点定义如何如何……
@老虎会游泳,如果按 cppreference 所说,应该是未定义行为。
转换指针类型没问题,只要不访问就行。(但不访问,转了也没用。可认为不能转)
比如:
float a = 1.0; long * b = (long *)&a; *b = 1; return a;
按照标准,编译器可认为,
a
未被修改(因为*b
不是a
的兼容类型,所以修改*b
不应该污染a
),所以优化掉b
,直接返回1.0
。。。
@老虎会游泳,你看下 cppreference - 指针 - 注解 说的:
尽管任何指向对象的指针能被转型成指向其他类型对象的指针,解引用指向类型异于对象声明类型的指针几乎总是未定义行为。细节见严格别名使用。
@老虎会游泳,我比较怕的是未定义行为导致的结果错误,所以想弄清楚别名规则。
看到知乎那篇文章中的第三个例子,我又觉得
restrict
有助于减少性能损耗(修改char *
导致编译器认为this
可能被修改,进而没法重复利用缓存好的this
),所以顺便想弄清楚restrict
@老虎会游泳,回复好多啊,我刚看到第一条:
此外,Q_rsqrt()函数中没有未定义行为
未定义行为是:
* ( long * ) &y
某左值表达式,是某个对象的[cvr修饰][有/无符号]兼容类型/含有第一项的结构体或联合体/字符类型,才能
赋值访问,否则为未定义行为。
long
不是float
的兼容类型,也不是字符类型,所以是未定义行为。严重时,会产生结果错误/性能低下等后果(见 知乎 - 严格别名(Strict Aliasing)规则是什么? - 严格别名(strict aliasing)为什么讨厌 中的三个例子)
先 @ 万能的 @老虎会游泳
@张小强,一个木函、Fusion App 啥的可以么?(没咋用过,但记得有这个功能)
@老虎会游泳,常规语言有啥算法吗?啥啥啥相似度?或者……?
人工智能大概怎么个过程呢?
@加勒比海带,不算啥大佬吧,只是 SQL 写起来繁杂,看起来复杂而已。实际思路很简单
@tasy5kg,好久没用过钛备份这类 app 了,感觉现在都懒得折腾了
直接用系统的云备份,本地资料有需要的就压缩下文件夹。。
@老虎会游泳,估计逻辑上就不是逐字节比较吧。可能大体相同时,认为是同一个事物啥的(我也不懂)
要不,你拿同形字、零宽字啥的试试?