VC7.1 编译器的一个不大不小的bug

最新推荐文章于 2023-06-22 14:26:34 发布

原创最新推荐文章于 2023-06-22 14:26:34 发布 · 287 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#编译器 #reference #function #class #c++ #gcc

本文探讨了在C++中模板类结合静态方法时的一个特殊行为案例。具体来说，在非模板类中，尝试从静态方法访问非静态成员会导致编译错误，但当相同的行为发生在模板类中时，某些编译器（如VC7.1）允许编译通过，直至实际调用才报错。文章对比了VC7.1和gcc对此的不同处理方式。

这段代码在任何一个成熟的C++编译器当中都不会通过：
class Test
{
public:
char *p;

    static void Tt()
    {
        p = 0;
    }
};

因为它在static函数中访问实例成员，而在调用static函数的时候，可能根本就没有实例存在，即便存在，它也不会知道该访问哪一个实例的成员。在VC7.1当中，当然也会出现编译错误。
但是，如果你把这个类改成了template，情况就不同了：
template class Test
{
public:
    char *p;

    static void Tt()
    {
        p = 0;
    }
};

这段代码在VC7.1当中顺利通过了！而gcc会对它报错，说在static member function当中使用instance成员是非法的。
当然，说这个bug很严重倒也并非如此，因为如果你真的在别处调用这个static member function:

Test::Tt();

VC7.1编译器就会警觉起来，告诉你error C2597: illegal reference to non-static member 'Test::p'，因此不会导致运行期的灾难性后果。