程序代码：#include <cstdio>
struct foo
{
int bar;
};
int (foo::*p1);
int (foo::*p2) = 0;
int (foo::*p3) = &foo::bar;
int main()
{
printf( "%p %p %p\n", p1, p2, p3 );
if( p1 )
printf( "p1\n" );
if( p2 )
printf( "p2\n" );
if( p3 )
printf( "p3\n" );
return 0;
}
struct foo
{
int bar;
};
int (foo::*p1);
int (foo::*p2) = 0;
int (foo::*p3) = &foo::bar;
int main()
{
printf( "%p %p %p\n", p1, p2, p3 );
if( p1 )
printf( "p1\n" );
if( p2 )
printf( "p2\n" );
if( p3 )
printf( "p3\n" );
return 0;
}
在 g++4.8.1 中，一种可能的输出为：
ffffffff ffffffff 00000000
p3
这个结果是正确的，只有p3初始化了有效值，所以只输出p3p3
在 VC9.0 中，一种可能的输出为：
00000000 FFFFFFFF 00000000
p1
p3
这个结果是不正确的，按照C++标准，全局变量会自动初始化为“零”，所以p1和p2的值都应当为0xFFFFFFFF（这是成员变量地址的“零值”）p1
p3