Проверка существования глобальной (/ пространство имен) функции/объекта декларации

Question

C++ 11 позволяет проверить, достаточно сжато, для существования члена: Is it possible to write a template to check for a function's existence?

Можно ли проверить наличие объявления глобальной функции (с именами или без них)?

Детали: В моем конкретном случае, я хотел бы проверить, если моя реализация stdio.h (#include d) определяет, например, fprintf_unlocked (со стандартной подписи) и использовать его, если он делает, в противном случае по умолчанию fprintf.

Answer 1

способ проверить существование функции, Вы можете создать следующие черты:

#define DEFINE_HAS_SIGNATURE(traitsName, funcName, signature)    \ 
    template <typename U>             \ 
    class traitsName              \ 
    {                  \ 
    private:                \ 
     template<typename T, T> struct helper;        \ 
     template<typename T>            \ 
     static std::uint8_t check(helper<signature, &funcName>*);   \ 
     template<typename T> static std::uint16_t check(...);    \ 
    public:                 \ 
     static                \ 
     constexpr bool value = sizeof(check<U>(0)) == sizeof(std::uint8_t); \ 
    } 

DEFINE_HAS_SIGNATURE(has_foo, foo, T*); 
DEFINE_HAS_SIGNATURE(has_bar, bar, T*); 

А затем проверить его

has_foo<void(int)>::value 

Demo

Answer 2

Я сделал гибридную черты генератора макрос, который проверяет либо членов, либо свободные постоянные функции.

Это создает классы шаблонов шаблонов, которые смотрят, работает ли поставленная пользователем подпись (первый шаблон arg) с именем, встроенным в класс признаков.

Он ищет свободностоящие имена, если второй параметр шаблона не задан (Trait<Sig>::value) или для члена второго аргумента шаблона, если шаблон шаблонов создается с двумя аргументами (Trait<Sig,ClassToSearch>::value).

Он может выполнять поиск только бесплатных функций, которые были объявлены до того, как был определен класс шаблонов.

#define DEF_HAS_SIG(TraitsName, funcName) \ 
std::nullptr_t funcName(...); \ 
template<typename Sig, typename Type=void> class TraitsName { \ 
    typedef char yes[1];          \ 
    typedef char no [2];          \ 
    template <typename U, U> struct TypeCheck;     \ 
    template <typename _1, typename _2 > static no &chk(...); \ 
    template <typename _1, typename _2> static     \ 
    typename std::enable_if< std::is_same<void,_2>::value, yes&>::type chk(TypeCheck<_1, &funcName > *); \ 
    template <typename _1, typename _2> static yes& chk(TypeCheck<_1, &_2::funcName > *);     \ 
public: static bool const value = sizeof(chk<Sig,Type>(0)) == sizeof(yes);        \ 
};