Question

有一种简单的方法可以在c ++中抛出自定义空指针异常吗？我的想法是重新定义this指针，但它有3个问题：

不使用this会引发标准的Acces Violation Exception
每次使用时都会检查指针

Visual Studio将此显示为InteliSense错误（可编译）（不知道其他编译器做了什么）

#include <iostream>
#define this (this != nullptr ? (*this) : throw "NullPointerException")

class Obj
{
public:
    int x;
    void Add(const Obj& obj)
    {
        this.x += obj.x; // throws "NullPointerException"
                //x = obj.x;  // throws Access Violation Exception
    }
};


void main()
{
    Obj *o = new Obj();
    Obj *o2 = nullptr;
    try
    {
        (*o2).Add(*o);
    }
    catch (char *exception)
    {
        std::cout << exception;
    }
    getchar();
}

Answer 1

由于this永远不可能nullptr，因此编制者可以将this != nullptr视为与true相同。你从根本上想要做的事情没有意义。您不能使用异常来捕获未定义的行为。 this可以是nullptr的唯一方法是通过未定义的行为。

Obj *o2 = nullptr;
try
{
    (*o2).Add(*o);
}

取消引用nullptr是未定义的行为（8.3.2）。这是试图使用异常来捕获未定义的行为。从根本上说，你不能用C ++做到这一点。

由于一个明显的原因，这是未定义的，请考虑这一点：

class Foo
{
   public:
   Foo { ; }
   virtual void func() = 0;
};

class Bar : public Foo
{
   public:
   Bar() { ; }
   virtual void func() { some_code() }
};

class Baz : public foo
{
    public:
    Baz() { ; }
    virtual void func() { some_other_code(); }
}

...

Foo * j = nullptr;
j->func(); // Uh oh, which func?

c ++ - 抛出自定义空指针异常

1 个答案: