явное инстанцирование нестатичного метода шаблонного класса

https://learn.microsoft.com/en-us/cpp/cpp/explicit-instantiation?view=msvc-170

Это так задуманно, что заголовок противоречит содержимому?

опечатка, сорри, как поправить - не знаю

ну и? отвечая на первый свой вопрос - да, можно. Только где офф это сказано? По второму вопросу - возможно, там происходит неявное инстанцирование, ибо компилируется и запускается.

Только где офф это сказано?

https://timsong-cpp.github.io/cppwp/n4868/temp.explicit#1.sentence-2

спасибо, друг, увидел нужные слова!

Так надо инстранциировать или специализировать? Судя по «Или надо переписывать весь класс?», то видимо все таки специализировать. Тогда как-то так можно например: https://www.godbolt.org/z/b6eEc9WPE

спасибо, специализировать

у вас в примере именно инстанцирование класса для int

explicit specialization нестатического метода:

template <>
void foo_base<int>::f1() {
    std::cout << "f1 explicit specialized" << std::endl;
}

https://www.godbolt.org/z/eqbz31jY6

хотя ошибаюсь, у вас полная специализация класса. Т.е. если в вашем примере добавить в базовый класс новый метод, то у вас не будет CE, пока вы новый метод тоже не специализируете

А ещё можно шаблонизировать лямбды, начиная с c++20. Плюсы очень круты.

можно

#include <iostream>
using namespace std;

template <typename T = void>
struct Foo {
    void foo();
};

template <typename T>
void Foo<T>::foo() {
    cout << "default" << endl;
}

template <>
void Foo<bool>::foo() {
    cout << "bool" << endl;
}

int main() {
    Foo f;
    f.foo();  // "default"
    Foo<bool> f2;
    f2.foo(); // "bool"
}

Аноним, спасибо! Все верно!