enum { value = std::is_same<T, T1>::value || IsOneOf<T, Ts...>::value };
};
-/**
- * A traits class to check for incomplete types.
- *
- * Example:
- *
- * struct FullyDeclared {}; // complete type
- * struct ForwardDeclared; // incomplete type
- *
- * is_complete<int>::value // evaluates to true
- * is_complete<FullyDeclared>::value // evaluates to true
- * is_complete<ForwardDeclared>::value // evaluates to false
- *
- * struct ForwardDeclared {}; // declared, at last
- *
- * is_complete<ForwardDeclared>::value // now it evaluates to true
- *
- * @author: Marcelo Juchem <marcelo@fb.com>
- */
-template <typename T>
-class is_complete {
- template <unsigned long long> struct sfinae {};
- template <typename U>
- constexpr static bool test(sfinae<sizeof(U)>*) { return true; }
- template <typename> constexpr static bool test(...) { return false; }
-public:
- constexpr static bool value = test<T>(nullptr);
-};
-
/*
* Complementary type traits for integral comparisons.
*
EXPECT_FALSE((folly::greater_than<uint8_t, 255u, uint8_t>(254u)));
}
-struct CompleteType {};
-struct IncompleteType;
-TEST(Traits, is_complete) {
- EXPECT_TRUE((folly::is_complete<int>::value));
- EXPECT_TRUE((folly::is_complete<CompleteType>::value));
- EXPECT_FALSE((folly::is_complete<IncompleteType>::value));
-}
-
int main(int argc, char ** argv) {
testing::InitGoogleTest(&argc, argv);
gflags::ParseCommandLineFlags(&argc, &argv, true);