Почему указатель в аргументе требуется во время SFINAE? - PullRequest
Новая
       48

Почему указатель в аргументе требуется во время SFINAE?

0 голосов
/ 17 декабря 2018

Зачем мне нужно *, чтобы сделать checker указателем на строке

template <typename C> static yes test( checker<C, &C::helloworld>* );

, чтобы вычитания времени компиляции работали правильно, выводя 1 0?

Когда я удаляю *, вывод будет 0 0

#include <iostream>

struct Generic {}; 
struct Hello
{ int helloworld() { return 0; } };

// SFINAE test
template <typename T>
class has_helloworld
{
    typedef char                yes;
    typedef struct {char _[2];}  no; 

    template <typename C, int (C::*)()> struct checker;

    template <typename C> static yes test( checker<C, &C::helloworld>* );
    template <typename C> static no  test(...);

public:
    enum { value = sizeof(test<T>(0)) == sizeof(yes) };
};

int main(int argc, char *argv[])
{
    std::cout << has_helloworld<Hello>::value   << std::endl;
    std::cout << has_helloworld<Generic>::value << std::endl;
    return 0;
}

Это было мое упражнение, в котором я пытался соединить эти два поста:

Можно ли написать шаблон для проверки существования функции?

Проверить, имеет ли класс функцию-член с заданной сигнатурой

1 Ответ

0 голосов
/ 17 декабря 2018

Поскольку он называется test<T>(0), и 0 может быть принят как нулевой указатель, если test принимает указатель в качестве типа параметра (как checker<C, &C::helloworld>*).

Если вы удалите *, чтобы сделать тип параметра равным checker<C, &C::helloworld>, test<T>(0) может соответствовать только test(...), тогда вы всегда получите результат 0.

...