为什么a和b在以下代码中共享相同的地址？

Question

为什么静态断言在这种情况下会发生火灾？由于64位地址线和char是单字节，它们是否在同一地址？

  #include <type_traits>

    int main()
    {
      char a='a';
      char b='b';

      static_assert ( &a == &b, " ERROR: Same addr"  ) ;
    }
    main.cpp: In function ‘int main()’:
    main.cpp:9:3: error: static assertion failed:  ERROR: Same addr

Answer 1

你有倒退的逻辑。条件为static_assert时触发false，即两个对象的地址不同。

Answer 2

a和b位于不同的地址。你有断言的错误方法。您的断言失败，因为两个地址不它们相同。尝试

static_assert ( &a != &b, " ERROR: Same addr"  ) ;