QTypeInfo

[Sergeich]

Наткнулся в qglobal.h на кусок кода, где определяется является ли данный тип указателем:

Код:

template <typename T> char QTypeInfoHelper(T*(*)());
void* QTypeInfoHelper(...);

template <typename T>
class QTypeInfo
{
public:
    enum {
        isPointer = (1 == sizeof(QTypeInfoHelper((T(*)())0))),
        //.........
    };
};

Нихрена не могу понять как это работает  Может кто просветит неразумного?

[Tonal]

Работает так:
Если тип T поданный в QTypeInfo является указателем, то при вычислении компилятором выражения sizeof(QTypeInfoHelper((T(*)())0))) выбирается шаблонная версия QTypeInfoHelper и выражение принимает значение sizeof(char), т.е 1.
В противном случае выбирается QTypeInfoHelper с многоточием.

Техника называется SFINAE

[Sergeich]

А что значит конструкция T(*)() ?

[Tonal]

Указатель на функцию без параметров которая возвращает T.

[Sergeich]

Указатель на функцию без параметров которая возвращает T.

мля, точно... торможу

[Sergeich]

Спасибо! Асилил