如何在编译时测试是否B类是从的std ::矢量导出？
template<class A>
struct is_derived_from_vector {
static const bool value = ????;
};
如何在编译时测试是否B类是从模板中衍生的家庭？
template<class A, template< class > class Family>
struct is_derived_from_template {
static const bool value = ????;
};
使用：
template<class T> struct X {};
struct A : X<int> {}
struct B : std::vector<char> {}
struct D : X<D> {}
int main() {
std::cout << is_derived_from_template<A, X>::value << std::endl; // true
std::cout << is_derived_from_template<D, X>::value << std::endl; // true
std::cout << is_derived_from_vector<A>::value << std::endl; // false
std::cout << is_derived_from_vector<B>::value << std::endl; // true
}
试试这个：
#include <type_traits>
template <typename T, template <typename> class Tmpl> // #1 see note
struct is_derived
{
typedef char yes[1];
typedef char no[2];
static no & test(...);
template <typename U>
static yes & test(Tmpl<U> const &);
static bool const value = sizeof(test(std::declval<T>())) == sizeof(yes);
};
用法：
#include <iostream>
template<class T> struct X {};
struct A : X<int> {};
int main()
{
std::cout << is_derived<A, X>::value << std::endl;
std::cout << is_derived<int, X>::value << std::endl;
}
注意：在标线#1 ，你也可以让你的特质接受，至少有一个任何模板，但writint可能更多类型的参数：
template <typename, typename...> class Tmpl
我有我需要知道，如果一个类是从一个载体（如）级得出了同样的情况。 不幸的是没有C ++ - 11层或复杂的宏可以在我的项目。 所以我的解决办法的混合物Kerrek的回答 ，这文章在末尾的一些googletest代码：
#include <vector>
template <typename T>
class is_derived_from_vector
{
typedef char Yes_t[1];
typedef char No_t[2];
static No_t& test(const void* const);
template <typename U>
static Yes_t& test(const std::vector<U>* const);
public:
static const bool value = ((sizeof(test(static_cast<T*>(0)))) == (sizeof(Yes_t)));
};
template<class T> struct X {};
struct A : X<int> {};
struct B : std::vector<char> {};
TEST(Example, IsDerivedFrom)
{
EXPECT_FALSE(is_derived_from_vector<A>::value);
EXPECT_TRUE(is_derived_from_vector<B>::value);
}
对于任何模板的共同的解决办法，我认为是不可能的没有C ++的使用来定义 - 11或更高。
我一直在寻找一个解决这个问题，不久前与协商后
现代C ++设计：泛型编程和设计模式应用
我是能够建立其或多或少类似于是在发表了以下几点。
#include <iostream>
#include <type_traits>
#include <utility>
template <typename T, template <typename...> class U>
struct is_derived
{
private:
template <typename...Ts>
static constexpr std::true_type check(const U<Ts...>&);
static constexpr std::false_type check(...);
template <typename>
struct is_same
{
static constexpr bool value = false;
};
template <typename...Ts>
struct is_same <U<Ts...>>
{
static constexpr bool value = true;
};
public:
static constexpr bool value =
std::is_same<decltype(check(std::declval<T>())),
std::true_type>::value &&
!is_same<T>::value;
};
template <typename, typename>
struct X
{
};
template <typename T>
struct Y : X <T, int>
{
};
int main(int argc, char **argv) {
std::cout << std::boolalpha << is_derived<Y<int>, X>::value << std::endl;
std::cout << std::boolalpha << is_derived<X<int,int>, X>::value << std::endl;
std::cout << std::boolalpha << is_derived<int, X>::value << std::endl;
return 0;
}
