Наследование с возможной ошибкой шаблона

Question

Ошибка в методе, основанном на расширении шаблона, дает ошибку компилятора, когда метод явно вызван. Хотя, когда этот метод отмечен как виртуальный, он создает ошибку компилятора независимо от того, действительно ли он вызван. Есть ли что-нибудь в стандарте C++, объясняющее, почему маркирование этих методов как виртуальных приводит к ошибке компилятора?

#include <memory> 
#include <iostream> 

template <class T_> 
class Foo 
{ 
protected: 
    T_ data; 
public: 
    Foo(const T_& x) : data(x) { } 

    Foo(T_&& x) : data(std::move(x)) { } 

    // comment these two lines out and it works fine. 
    virtual void test(T_& x) = 0; 
    virtual void test(T_&& x) = 0; 
}; 

template <class T_> 
class Bar : public Foo<T_> 
{ 
public: 
    using Foo<T_>::Foo; 

    void test(T_& x) 
    { 
     std::cout << "test(&)" << std::endl; 
     x = this->data; 
    } 

    void test(T_&& x) 
    { 
     std::cout << "test(&&)" << std::endl; 
     x = std::move(this->data); 
    } 
}; 

int main() 
{ 
    Bar<std::unique_ptr<int>> x(std::unique_ptr<int>(new int(42))); 
} 

Answer 1

В overriders из virtual функций всегда УСО-используется - то есть, их определение должно присутствовать, являются ли они явно используются в ЕП или нет.
Овердрайзеры virtual функции сами по себе virtual ([class.virtual]/2) и все функции virtual должны быть определены ([basic.def.odr]/3 и 4).

Теперь вопрос заключается в том, действительно ли были вызваны перегрузки test в производном классе. Для шаблонов, стандартные мандаты, которые

Если не является членом шаблона класса [...] был явно инстанциированы явно специализированы, специализация элемента неявно инстанцирован, когда специализация ссылки в контекст, который требует определения члена;

Для виртуальных функций можно утверждать, что их присутствия достаточно, чтобы требовать определения. Однако стандарт не связывает себя вниз и оставляет решение реализации, [temp.inst]/11:

Это неопределенная реализация неявно конкретизирует ли не виртуальную функцию-члена класса шаблон, если бы виртуальная функция-член иначе не создавалась.

Answer 2

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

int main() 
{ 
    Bar<std::unique_ptr<int>> x(std::unique_ptr<int>(new int(42))); 
    x.test(std::unique_ptr<int>(new int(99))); 
    std::unique_ptr<int> pi; 
    x.test(pi); 
    std::cout << "test returned " << *pi << std::endl; 
} 

версия принимает ссылку не будет создаваться в std::unique_ptr не может быть назначена.