c++ - 为什么 std::unary_function 不包含虚拟析构函数

Question

我遇到了类模板 std::unary_function 和 std::binary_function。

template <class Arg, class Result>
struct unary_function {
    typedef Arg argument_type;
    typedef Result result_type;
};

template <class Arg1, class Arg2, class Result>
struct binary_function {
    typedef Arg1 first_argument_type;
    typedef Arg2 second_argument_type;
    typedef Result result_type;
};

这两个都可以用作特定用途的基类。但是其中仍然没有虚拟析构函数。我猜的原因之一是这些并不意味着要进行多态处理。即

std::unary_function* ptr; 
//intialize it 
//do something
delete ptr;

但如果是这样，析构函数不应该与 protected 访问说明符一起存在，这样编译器就会破坏任何这样做的尝试。

Answer 1

在平衡良好的 C++ 设计哲学中，“防止”某事发生的想法最适用于很有可能发生意外和不易察觉的误用。即使在那种情况下，预防措施也只有在不施加任何重大处罚时才适用。 unary_function、binary_function、iterator 等类的目的对于任何了解它们的人来说都应该足够清楚。一个完全无能的用户会错误地使用它们。

如果类通过公共(public)继承实现了“组成员注入(inject)”的公认习语，则向其中添加虚拟 析构函数将是一个主要的设计错误。将非多态类变成多态类是一个重大的质变。为使用这个习语的能力付出这样的代价是令人难以接受的。

非虚保护析构函数是另一回事……我不知道他们为什么不那样做。也许单独为该目的添加一个成员函数看起来不必要地过多(否则，这些类仅包含 typedef)。

请注意，尽管 unary_function、binary_function 已弃用，但 iterator 不是。弃用并不针对成语本身。该惯用语广泛用于其他更大规模的设计方法，例如 Mixins 的 C++ 实现等。