В qaru.site/info/5263/... предоставляется решение для статической проверки существования элемента, возможно, в подклассе типа:
template <typename Type>
class has_resize_method
{
class yes { char m;};
class no { yes m[2];};
struct BaseMixin
{
void resize(int){}
};
struct Base : public Type, public BaseMixin {};
template <typename T, T t> class Helper{};
template <typename U>
static no deduce(U*, Helper<void (BaseMixin::*)(), &U::foo>* = 0);
static yes deduce(...);
public:
static const bool result = sizeof(yes) == sizeof(deduce((Base*)(0)));
};
Однако он не работает в классах С++ 11 final
, потому что он наследует от тестируемого класса, который предотвращает final
.
OTOH, этот:
template <typename C>
struct has_reserve_method {
private:
struct No {};
struct Yes { No no[2]; };
template <typename T, typename I, void(T::*)(I) > struct sfinae {};
template <typename T> static No check( ... );
template <typename T> static Yes check( sfinae<T,int, &T::reserve> * );
template <typename T> static Yes check( sfinae<T,size_t,&T::reserve> * );
public:
static const bool value = sizeof( check<C>(0) ) == sizeof( Yes ) ;
};
не удается найти метод reserve(int/size_t)
в базовых классах.
Есть ли реализация этого метафунта, который находит reserved()
в базовых классах T
и работает, если T
есть final
?