2

如果我可以实例化某个模板类，我想使用 SFINAE 模式来执行一些代码。让我们想象一下：

//Only instantiable with types T for which T.x() is ok:
template <class T>
class TemplateClass
{
  T t;
public:
  void foo() { 
    t.x(); 
  }
}

template <class T>
class User
{
  void foo()
  { 
    "if TemplateClass<T> is ok then do something else do nothing" 
  }
}

我怎么能那样做？

非常感谢！

编辑：根据 edA-qa mort-ora-y 的回答我试过：

template <class T>
struct TemplateClass
{
    T t;
    void foo() { t.x(); }

    static const bool value = true;

};
struct A {};
struct B { void x() {} };

template <class T>
struct User
{
    template<typename M>
    typename boost::enable_if<TemplateClass<M> >::type func( ) 
    { 
        std::cout << "enabled\n";
    }

    template<typename M>
    typename boost::disable_if<TemplateClass<M> >::type func( ) 
    { 
        std::cout << "disabled\n";
    }


    void foo()
    {
        func<TemplateClass<T> >();
    }

};

User<A> a;
a.foo();

User<B> b;
b.foo();

但这会返回“启用启用”。我错过了什么？

4

1 回答 1

1

您应该查看 boost boost/utility/enable_if.hpp标头和相关的元/模板编程代码。

这里最简单的方法是拥有两个版本的 foo 函数，都是模板函数。其中一个函数将使用 enable_if 构造，而另一个将使用 disable_if 构造。

我相信你可以在 boost 网站上找到更好的例子，但是是这样的：

template<typename M>
typename boost::enable_if<Template<M>>::type func( ) { }

仅当 Template 是有效类型时才会定义此函数。由于您总是想编译，因此您需要对应的函数，即在无效时调用的函数：

template<typename M>
typename boost::disable_if<Template<M>>::type func( ) { }

我不确定您是否可以在单个模板中定义此模式中的两个成员函数，而无需将它们都设为模板函数。我想您也许可以定义两个模板函数并将默认模板参数设置为 T。

我希望这会有所帮助。

于 2010-11-04T09:34:42.143 回答