Question

下面的代码是从布鲁斯·埃克尔的思考在C ++第2卷第16章中复制的

//: C07:Wrapped.cpp
// From Thinking in C++, 2nd Edition
// Available at http://www.BruceEckel.com
// (c) Bruce Eckel 2000
// Copyright notice in Copyright.txt
// Safe, atomic pointers

#include <fstream>
#include <cstdlib>
using namespace std;
ofstream out("wrapped.out");

// Simplified. Yours may have other arguments.
template<class T, int sz = 1> class PWrap
{
    T* ptr;

    public:
    class RangeError {}; // Exception class
    PWrap() { ptr = new T[sz]; out << "PWrap constructor" << endl; }
    ~PWrap() { delete []ptr; out << "PWrap destructor" << endl; }
    T& operator[](int i) throw(RangeError)
    {
        if(i >= 0 && i < sz) return ptr[i];
        throw RangeError();
    }
};

class Cat
{
    public:
    Cat() { out << "Cat()" << endl; }
    ~Cat() { out << "~Cat()" << endl; }
    void g() {}
};

class Dog
{
    public:
    void* operator new[](size_t sz) { out << "allocating a Dog" << endl; throw int(47); }
    void operator delete[](void* p) { out << "deallocating a Dog" << endl; ::delete p; }
};

class UseResources
{
    PWrap<Cat, 3> Bonk;
    PWrap<Dog> Og;

    public:
    UseResources() : Bonk(), Og() { out << "UseResources()" << endl; }
    ~UseResources() { out << "~UseResources()" << endl; }
    void f() { Bonk[1].g(); }
};

int main()
{
    try
    {
        UseResources ur;
    }
    catch(int)
    {
        out << "inside handler" << endl;
    }
    catch(...)
    {
        out << "inside catch(...)" << endl;
    }
}

我对代码本身没有任何问题。但是我在理解关于类异常RangeError的以下评论时遇到了一些麻烦：

“PWrap模板显示了比您目前所见的更为典型的例外情况：A 如果其参数超出范围，则创建名为RangeError的嵌套类以在operator[ ]中使用。因为operator[ ]返回引用，所以它不能返回零。（没有空引用。）这是一个真正的例外情况 - 您不知道在当前环境中该做什么，以及你不能回报一个不可能的价值。“

Answer 1

如果函数返回指针而不是引用，则它可以通过返回NULL指针来指示失败（即越界索引）。但是您无法获得NULL个引用，因此唯一可用的选项是抛出异常。^*

正如@Steve在下面的评论中指出的那样，你不希望operator[]返回一个指针，因为这意味着你需要写下这样的内容：

T x = *wrapper[5];

<小时/> _{*替代方案是assert。}

Answer 2

他强调这可以解释为什么在这种情况下抛出异常是唯一的选择。

如果操作符返回指针，它可能返回空指针，而不是在出现错误时抛出异常。但是因为它返回一个引用，并且没有null引用这样的东西，处理错误的唯一方法就是抛出异常。

Answer 3

作者解释得很清楚，也许零部分正在消耗，他的意思是他不能返回任何表示缺乏价值的值（例如空指针），因此会抛出一个拟合。

Answer 4

作者已经说过“因为operator []返回一个引用它不能返回零。”因为NULL引用是一件非常糟糕的事情。

为什么作者强调operator []不能返回0的事实？

4 个答案: