iword函数 与 定义分离 的神奇运算

[Ez2蜜]

学C++总会遇到你完全看不懂所以然的情况，比如下面这个。

首先我新建了两个文件，一个test.h声明，一个test.cpp定义
我想在test里面搞一个自定义的IO flag

//test.h
const static int idx = std::ios_base::xalloc();
std::ostream& my_flag( std::ostream& os );

//test.cpp
std::ostream& my_flag( std::ostream& os ){
os.iword(idx) = true;
return os;
}

上面的都是常规操作

//main.cpp
int main(){
cout << my_flat;
cout << cout.iword(idx) << endl;
}

你猜结果怎么招，输出是0。

============控制变量法找原因==============

经过我反复控制变量，发现问题的关键在于这个【声明与定义分离】
如果你把my_flag写成inline函数，就完全可以正常运行了，和命名空间也完全没有关系

============问题==============

这个神奇情况的【工作原理】是什么？

[Minikinfish]

//test.cpp包含//test.h，定义了一个整型变量idx //main.cpp包含//test.h，又定义了一个整型变量idx，与test.cpp中的idx不是一个东西。my_flag函数使用的是test.cpp中定义的idx，而输出的是main.cpp中的idx的值。 当使用inline，test.cpp中一份my_flag函数，main.cpp中也有一份my_flag函数，（inline是把函数展开了） main.cpp中调用自己的my_flag函数，修改了main.cpp中的idx，并且输出main.cpp的idx 正确的做法是这样 // test.cpp const static int idx = std::ios_base::xalloc(); // test.h extern const int idx; 此时，idx仅此一份。在test.cpp中。

[Ez2蜜]

引用 1 楼 Minikinfish 的回复:

//test.cpp包含//test.h，定义了一个整型变量idx //main.cpp包含//test.h，又定义了一个整型变量idx，与test.cpp中的idx不是一个东西。my_flag函数使用的是test.cpp中定义的idx，而输出的是main.cpp中的idx的值。 当使用inline，test.cpp中一份my_flag函数，main.cpp中也有一份my_flag函数，（inline是把函数展开了） main.cpp中调用自己的my_flag函数，修改了main.cpp中的idx，并且输出main.cpp的idx 正确的做法是这样 // test.cpp const static int idx = std::ios_base::xalloc(); // test.h extern const int idx; 此时，idx仅此一份。在test.cpp中。

为什么我不能直接在头文件声明一个变量给两个cpp文件用，但是却可以声明一个static变量，给两个cpp文件用呢

[Minikinfish]

未加static前缀的全局变量和函数都具有全局可见性 加了static，就会对其它源文件隐藏。