今天学习了 volatile 的陷阱，但是有些论坛上的东西都是有一个原版，然后之后的都是大家相互拷贝，拷贝归拷贝，至少得先理解原文的意思吧,或者写完后还是检查以下，虽然掉的东西很少，但是意思就差的很大了。原文这里就不拷贝了，这里说一下其中的错误之处：
   例：到底哪个volatile可能无效
; e' ^; @+ g4 }       就在你看过前面几个例子，感觉自己可能已经都弄明白了的时候，请看最后这个例子：
# G, r( t) l3 [( {

1. 
   , v. i" p7 M; c8 ^9 S
2.   struct hw_bd {
   
3.     ......;
   % f" u% ^# m4 K6 `+ s4 R  f
4.     volatile unsigned char * volatile buffer;
   $ v( W% S/ w6 ]5 G: t+ S7 G: ]
5.   };
   # j, I/ c9 j1 s2 x6 E. z9 r( u
6.   
   - O% W2 _: _% {/ A8 O1 a* o( f
7.   struct hw_bd *bdp;
   
8.   
   
9.   ......;
   
10.   bdp->buffer = ...; ①
    
11.   bdp->buffer[i] = ...; ②  (错误的论坛是： bdp->buffer = ...; ② )

复制代码

  
  请问上面标记了①和②的两行代码，哪个是确实在访问volatile对象，而哪个又是undefined的结果？
9 k2 R; H% ~9 V1 a5 ^  J3 C7 a& m/ E& b  
  答案是：②是volatile的，①是undefined。来看本例的数据结构示意图：
4 [) y( d0 ^$ ]% Q  
5 k% g8 R4 ]8 m      (non-volatile)
  bdp -->+-------------+
5 T+ Q4 D3 }) \/ w/ i  {3 R5 E9 q      |       |
5 ]5 m/ G, @, [) }      |  ... ...  |
2 d' D3 o  y7 t- j( u# T      |       |
5 j+ L; k( @! e1 n# ~# z, u      +-------------+   (volatile)  
      |   buffer  |-->+------------+
      +-------------+  |       |
               |       |
) _0 ?; I6 U& }/ |( D               |       |
* X: b/ H+ U5 b" c               +------------+
/ Q  l. k6 a9 |4 K' A- ?2 Y               |  buffer |
/ F. r+ A0 a" Y/ m" I               +------------+
% b( w& w$ M) c& j4 E: r. L, e( \               |       |
2 U3 E* X0 Q+ }- \8 T3 l) D               |       |
: x9 m/ O3 z8 `* ^3 f               +------------+buffer成员本身是通过一个non-volatile的指针bdp访问的，按照C99标准的定义，这就属于undefined的情况，因此对bdp->buffer的访问编译器不一定能保证是volatile的；
) Z, l6 q. K) {7 f! _6 j4 W: ~% I  虽然buffer成员本身可能不是volatile的变量，但是buffer成员是一个指向volatile对象的指针。因此对buffer成员所指对象的访问编译器可以保证是volatile的，所以bdp->buffer是volatile的。
  
( h- n" H+ f& P5 a" C$ {4 x6 [  ~最后分享一下原文的链接（我认为的原为，这里仅作知识分享，如涉及到版权等问题，请告知，立即删除）：

0 L! I: U. z2 N5 w7 M) tvolatile的陷阱(栢图实验室)
或者
volatile的陷阱(栢图实验室)
* s! E+ f. C; r6 e( R


# [$ u3 b& O$ s; d7 }' c6 d好记性不如烂笔头...
# {0 I) j2 [3 }0 N8 a7 X. F0 p

楼主发的什么东西，表示没看懂，你那两句代码完全一样

子曰好人 发表于 2019-10-31 11:02
楼主发的什么东西，表示没看懂，你那两句代码完全一样

0 g5 e4 M5 i& M' o多谢！应该是这样的

1. 
   
2.   bdp->buffer = ...; ①
   
3.   bdp->buffer[i] = ...; ②  (错误的论坛是： bdp->buffer = ...; ② )

复制代码

没验证过， 也没查过C99是否有如此规定， 假若是， 这就有些不合理， 甚至可以说个bug。
7 H- J4 k9 p$ J$ k结构体的指针因为不是volatile， 所以所有成员就是定义了volatile也没用， 那又何必把成员定义为volatile呢， 就是说要不就整个结构体都是volatile， 要不就都不是volatile。
再者 volatile unsigned char * volatile buffer; 这一句的意思是， 指针是volatile， 指针所指向的内容也是volatile
要知道加volatile本身如非必要就是个额外的损耗。
7 I( r- m  y* i5 g; I& H要是定义另一 unsigned char *buf  = bdp->buffer;
" k# A1 a  i3 Q6 ?5 o6 qbuf[0]=xx；
结果是undefin才是合理的
但因为结构体指针不是volatile而影响到成员就不合理了
' a2 r1 N" V: q0 y  \1 S# y