Как заставить экземпляры функций-членов шаблонов классов создаваться?

Question

Недавно я обнаружил, что функции-члены шаблонов классов не создаются до тех пор, пока они не будут использованы, что крайне раздражает, потому что делает некоторые конструкции SFINAE не работающими.Я хотел бы знать, как убедиться, что функция-член специализации шаблона класса всегда создается, как только создается экземпляр класса, - но только с использованием операторов внутри определения шаблона класса, так что если функция-член не может быть создана, Включается SFINAE, и компилятор возвращается к шаблону общего класса.

Код, который я планировал использовать, выглядит следующим образом:

template <typename T, typename U>
class test_type {
    // general template; dummy parameter U is to allow specialization.
    static const bool value = false;
}

template <typename T>
class test_type<T, T> {
    // template specialization
    void f(T t) {
        // do all sorts of type-specific operations with t
        // (e.g., calling member functions)

        // if T is not suitable for these operations, I want
        // a substitution error to be generated so that the
        // general template is used instead
    }

    static const bool value = true;
}

template <typename T>
using satisfies = test_type<T, T>::value;

Answer 1

Тело функций-членов в классе не будет частью SFINAE.Шаблон создается в зависимости от сигнатуры, и как только экземпляр класса создан, неисправная функция-член приведет к серьезной ошибке.

Что вам нужно сделать, это создать type_trait, который вы можете поместить в специализацию шаблона,Вот игрушечный пример, который проверяет две разные функции-члены.

#include <iostream>
#include <type_traits>

template <typename T>
using check_for_method = std::void_t<decltype(std::declval<T>().run()), decltype(std::declval<T>().go())>;

template <typename T, typename U = void>
class test_type {
public:
    static const bool value = false;
};

template <typename T>
class test_type<T, check_for_method<T>> {
public:
    void f(T t) {
        t.run();
        t.go();
    }

    static const bool value = true;
};

struct Foo {
    void run() {
        std::cout << "Running\n";
    }
};

struct Bar : Foo {
    void go() {
        std::cout << "Going\n";
    }
};

int main() {
    test_type<Foo> t1;
    test_type<int> t2;
    test_type<Bar> t3;

    std::cout << t1.value << " " << t2.value << " " << t3.value << std::endl;
    t3.f(Bar{});
}