C++ 11有沒有一種方法來靜態測試方法訪問級別？

Question

C++ 11增加了許多新的類模板，它們允許靜態地測試類型特徵，即在編譯時檢測問題。我正在爲一門課寫作測試，我需要確保給定的方法是公開的。

「動態」解決方案是創建一個對象，並調用該方法，那麼如果它不工作，編譯器會抱怨。但可能會發生不同類型的錯誤，並且會導致產生的錯誤消息更加混亂。如果可能的話，最好使用靜態斷言來測試方法訪問級別。

是否有可能還是我真的要創建一個對象？

（也，我該怎麼辦，如果我需要的方法是私有/保護）

Answer 1

這編譯對我來說：

#include <type_traits> 

namespace has_foo_imp 
{ 

template <class T> 
auto 
test(T&& t) -> decltype(t.foo(), std::true_type()); 

auto 
test(...) -> std::false_type; 

} // has_foo_imp 

template <class T> 
struct has_foo 
    : public std::integral_constant<bool, 
         decltype(has_foo_imp::test(std::declval<T>()))::value> 
{ 
}; 

class A 
{ 
    void foo(); 
public: 
}; 

class B 
{ 
public: 
    void foo(); 
}; 

int 
main() 
{ 
    static_assert(!has_foo<A>::value, ""); 
    static_assert(has_foo<B>::value, ""); 
} 

Answer 2

至於我可以告訴大家，以下是standards compliant：

#include <type_traits> 

template<typename T,typename=void> 
struct NullaryFooCanBeCalled:std::false_type {}; 

template<typename T> 
struct NullaryFooCanBeCalled< 
     T, 
     typename std::enable_if< 
     std::is_same< 
       decltype(std::declval<T>().Foo()), 
       decltype(std::declval<T>().Foo()) 
     >::value >::type 
     >: 
    std::true_type {}; 



struct PrivateFoo {private:void Foo() {}}; 
struct PublicFoo {public:void Foo() {}}; 
struct ProtectedFoo {protected:void Foo() {}}; 
struct StrangeFoo { 
    struct Bar { void operator()() {}; }; 
    Bar Foo; 
}; 

#include <iostream> 

int main() { 
    std::cout << "PrivateFoo:" << NullaryFooCanBeCalled<PrivateFoo>::value << "\n"; 
    std::cout << "PublicFoo:" << NullaryFooCanBeCalled<PublicFoo>::value << "\n"; 
    std::cout << "ProtectedFoo:" << NullaryFooCanBeCalled<ProtectedFoo>::value << "\n"; 
    std::cout << "StrangeFoo:" << NullaryFooCanBeCalled<StrangeFoo>::value << "\n"; 
} 

在另一方面，編譯器支持不佳此語言怪癖。

Clang 3.2編譯和作品。 gcc 4.7.2無法建立。 Intel 13.0.1編譯但返回錯誤的值（在任何情況下均爲true）