問題描述

這個Q是以下內容的擴展:
模板化檢查類成員函數是否存在?

This Q is an extension of:
Templated check for the existence of a class member function?

是否有任何實用程序可以幫助您找到:

Is there any utility which will help to find:

• 成員名是否存在于類中?該成員可以是變量或方法.
• 指定成員的類型應該是可選的

推薦答案

C++03

#define HasMember(NAME) 
  template<class Class, typename Type = void> 
  struct HasMember_##NAME 
  { 
    typedef char (&yes)[2]; 
    template<unsigned long> struct exists; 
    template<typename V> static yes Check (exists<sizeof(static_cast<Type>(&V::NAME))>*); 
    template<typename> static char Check (...); 
    static const bool value = (sizeof(Check<Class>(0)) == sizeof(yes)); 
  }; 
  template<class Class> 
  struct HasMember_##NAME<Class, void> 
  { 
    typedef char (&yes)[2]; 
    template<unsigned long> struct exists; 
    template<typename V> static yes Check (exists<sizeof(&V::NAME)>*); 
    template<typename> static char Check (...); 
    static const bool value = (sizeof(Check<Class>(0)) == sizeof(yes)); 
  }

用法:只需使用您想要查找的任何成員調用宏:

Usage: Simply invoke the macro with whatever member you want to find:

HasMember(Foo);  // Creates a SFINAE `class HasMember_Foo`
HasMember(i);    // Creates a SFINAE `class HasMember_i`

現在我們可以使用HasMember_X來檢查任何class中的X，如下所示:

Now we can utilize HasMember_X to check X in ANY class as below:

#include<iostream>
struct S
{
  void Foo () const {}
//  void Foo () {}  // If uncommented then type should be mentioned in `HasMember_Foo`    
  int i;
};
int main ()
{
  std::cout << HasMember_Foo<S, void (S::*) () const>::value << "
";
  std::cout << HasMember_Foo<S>::value << "
";
  std::cout << HasMember_i<S, int (S::*)>::value << "
";
  std::cout << HasMember_i<S>::value << "
";
}

捕獲:

1. 在方法的情況下，如果我們不提及類型，那么class不得有重載方法.如果有，那么這個技巧就失敗了.即，即使命名成員出現不止一次，結果也會是 false.
2. 如果成員是基類的一部分，那么這個技巧就失敗了；例如如果 B 是 S 的基礎 &void B::Bar() 存在，則 HasMember_Bar::value 或 HasMember_Bar::value 或 HasMember_Bar::value 將給出 false