7年前我会写这样的东西:
#include <iostream>
struct A {};
struct B {
static const char* message;
};
const char* B::message = "Hello, world!";
template <typename T>
void PrintMessage(...) {}
template <typename T>
void PrintMessage(decltype(&T::message)) {
std::cout << T::message << std::endl;
}
int main() {
PrintMessage<A>(nullptr);
PrintMessage<B>(nullptr);
return 0;
}
https://ideone.com/svp6ay
如果我没有记错的话，该解决方案即使在Visual C++2010中也能工作。 在C++17中有没有更好的方法来实现这一点？
如果您知道要检查哪个函数或成员，则可以创建type_trait
template<class T, class = void>
struct has_message : std::false_type { };
template<class T>
struct has_message<T, std::void_t<decltype(T::message)>> : std::true_type { };
template<class T>
void PrintMessage()
{
if constexpr (has_message<T>::value)
std::cout << T::message << std::endl;
}