c++ - 特定接口(interface)的模板函数特化

Question

我有以下代码:

class ICookable
{
public:
    virtual void CookMe () = 0;
    virtual ~ICookable () {};
};

class Egg : public ICookable
{
public:
    virtual void CookMe () {cout << "Egg cooked!" << endl;}
};

template <class T>
void Cook (T&)
{
    cout << "Item Uncookable!" << endl;
}

template <>
void Cook (ICookable& c)
{
    c.CookMe ();
}

int _tmain(int argc, _TCHAR* argv[])
{
    Egg egg;
    Cook (egg);
    return 0;
}

我希望 Cook 函数根据其参数是否继承自 ICookable 接口(interface)而表现不同。然而在上面的例子中，我得到了 Egg 参数的“Item Uncookable”消息，除非我手动写:

Cook<ICookable> (egg);

有没有办法让编译器自动为ICookable后代选择正确的实现？

Answer 1

通过 boost::is_base_of 进行编译时分派(dispatch)和类模板偏特化:

template<class T, class _>
struct CookDetail {
  static void cook(T& obj) {
    cout << "uncookable\n";
  }
};
template<class T>
struct CookDetail<T, boost::true_type> {
  static void cook(ICookable& obj) {
    obj.CookMe();
  }
};

template<class T>
void cook(T& obj) {
  return CookDetail<T, boost::is_base_of<ICookable, T> >::cook(obj);
}

但是，让 cook(non_icookable_obj) “工作”对我来说是一个错误。我更喜欢尝试 cooking 不可 cooking 的编译时错误。

请注意，您的尝试失败了，因为这正是函数解析的工作原理。通过模板 (cook (Egg&)) 的精确匹配被认为优于需要转换的匹配 (cook(ICookable&))。详情在 FCD如果你想要神秘的技术细节。