C++程序设计兼谈对象模型(侯捷)——课程笔记(三)

本篇说的是function-like classes，也就是行为像函数的class。小括号()学名叫做function call operator，也就是函数调用运算符，重载了operator()的class就是function-like class。下面是一些标准库里面的实例：

template <class T>
struct identity : public unary_function<T, T>{
    const T&
    operator() (const T& x) const { return x; }
};

template <class Pair>
struct select1st : public unary_function<Pair, typename Pair::first_type>{
    const typename Pair::first_type&
    operator() (const Pair& x) const
    { return x.first; }
};

template <class Pair>
struct select2nd : public unary_function<Pair, typename Pair::second_type>{
    const typename Pair::second_type&
    operator() (const Pair& x) const
    { return x.second; }
};

除了重载了operator()以外，我们发现这些class还继承了一些看起来很“奇怪”的base class，下面看一下这些base class的例子：

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;
};

发现这些base class里面除了一些typedef什么也没有，没有数据也没有函数，所以这些class的理论大小是0（但是如果对这些class求sizeof一般会得到1）。至于为什么要继承这些看似奇怪的东西，这是另一个大的话题，留到另一门课的另一个部分专门讲解。

注：为什么空的class求sizeof一般会得到1？因为当我们声明这个类型的实例的时候，它总要在内存中占用一定的空间，否则我们无法使用这些实例，至于占用多少内存由编译器决定，在visual studio中，占用1个字节