[英]Specializing C++ template based on presence/absense of a class member?
Consider the following: 考虑以下:
struct A {
typedef int foo;
};
struct B {};
template<class T, bool has_foo = /* ??? */>
struct C {};
I want to specialize C so that C<A> gets one specialization and C<B> gets the other, based on the presence or absence of typename T::foo. 我想专门化C,以便C <A>获得一个特化,C <B>获得另一个,基于typename T :: foo的存在与否。 Is this possible using type traits or some other template magic?
这可能是使用类型特征或其他模板魔术吗?
The problem is that everything I've tried produces a compile error when instantiating C<B> because B::foo doesn't exist. 问题是我尝试的所有内容在实例化C <B>时都会产生编译错误,因为B :: foo不存在。 But that's what I want to test!
但这就是我想要测试的!
Edit: I think ildjarn's answer is better, but I finally came up with the following C++11 solution. 编辑:我认为ildjarn的答案更好,但我终于提出了以下C ++ 11解决方案。 Man is it hacky, but at least it's short.
男人是hacky,但至少它很短。 :)
:)
template<class T>
constexpr typename T::foo* has_foo(T*) {
return (typename T::foo*) 1;
}
constexpr bool has_foo(...) {
return false;
}
template<class T, bool has_foo = (bool) has_foo((T*)0)>
Another (C++03) approach: 另一种(C ++ 03)方法:
template<typename T>
struct has_foo
{
private:
typedef char no;
struct yes { no m[2]; };
static T* make();
template<typename U>
static yes check(U*, typename U::foo* = 0);
static no check(...);
public:
static bool const value = sizeof(check(make())) == sizeof(yes);
};
struct A
{
typedef int foo;
};
struct B { };
template<typename T, bool HasFooB = has_foo<T>::value>
struct C
{
// T has foo
};
template<typename T>
struct C<T, false>
{
// T has no foo
};
Something like this might help: has_member . 这样的事情可能会有所帮助: has_member 。
typedef char (&no_tag)[1];
typedef char (&yes_tag)[2];
template< typename T > no_tag has_member_foo_helper(...);
template< typename T > yes_tag has_member_foo_helper(int, void (T::*)() = &T::foo);
template< typename T > struct has_member_foo {
BOOST_STATIC_CONSTANT(bool
, value = sizeof(has_member_foo_helper<T>(0)) == sizeof(yes_tag)
); };
template<class T, bool has_foo = has_member_foo<T>::value>
struct C {};
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.