enable_if'ed模板化模板构造函数的类型签名？
我通常会声明我的类和模板，然后在（在相同的头文件中）之后定义它们的方法。我发现这种方式更容易阅读。好吧，我遇到过一个案例，我无法弄清楚在一个类外定义中使用的工作类型签名。这是我正在做的一个简化示例，它说明了问题：
template <class T>
struct Foo
{
Foo(T a, T b);
template
< class Iterator
, enable_if< is_iterator<Iterator> >
>
Foo
( Iterator first
, Iterator last
);
};
template <class T>
Foo<T>::Foo(T a, T b)
{ ... }
template <class T>
template
< class U
, WHAT_GOES_HERE?
>
Foo<T>::Foo(U f, U l)
{ ... }
WHAT_GOES_HERE
没有找到相关结果
已邀请:
4 个回复
孝铜差
template <class T> struct Foo { Foo(T a, T b); template < class Iterator > Foo ( Iterator first , Iterator last , typename enable_if<is_iterator<Iterator> >::type* = 0 ); }; template <class T> Foo<T>::Foo(T a, T b) { ... } template <class T> template < class U > Foo<T>::Foo(U f, U l, typename enable_if< is_iterator<U> >::type*) { ... }的文档。场竟矩喘崩
类型特征，所以我使用C ++ 0x类型特征和实用程序库重新设计了您的示例。它应该与TR1和Boost库的工作方式相同。]#include <utility> #include <type_traits> template <typename T> struct S { // Constructor (1) S(T, T); // Constructor (2) template <typename U> S(U, U, typename std::enable_if<std::is_integral<U>::value>::type* = 0); }; template <typename T> S<T>::S(T, T) { } template <typename T> template <typename U> S<T>::S(U, U, typename std::enable_if<std::is_integral<U>::value>::type*) { } int main() { S<double> a(1.0, 2.0); // uses (1) S<double> b(1, 2); // uses (2) }盛虱
细屠截殴些
template <class T> struct Foo { Foo(T a, T b); template <class Iterator , class = typename std::enable_if <is_iterator<Iterator>::value> ::type > Foo ( Iterator first , Iterator last ); }; template <class T> Foo<T>::Foo(T a, T b) { } template <class T> template < class U , class > Foo<T>::Foo(U f, U l) { }