Виртуальные функции друзей и шаблон явных специализаций

Question

Я пытаюсь смоделировать эффект функции виртуального друга с помощью функции защищенного виртуального члена (http://www.parashift.com/c++-faq-lite/friends.html#faq-14.3). Кроме того, я использую явные специализации для своих шаблонных классов. Мне было интересно, если кто-то может пролить свет, чтобы понять, что я делаю неправильно. Ниже я публикую код с ошибками компилятора. Любые предложения приветствуются!

foo.h

template < class T, class U >
class CFoo;

template < class T, class U >
void applyOnBar( const CFoo<T, U> &, const CBar<U> );

template < class T, class U >
class CFoo{

    public:
        .....
        friend void applyOnBar< >( const CFoo<T, U> &, const CBar<U> & ); // error, line 28: function does not match any template declaration.
        .....
        virtual ~CFoo();

    protected:

        virtual void do_applyOnBar(const CBar<U> &);
        .....
};

foo.cpp

template < class T, class U >
void applyOnBar( const CFoo<T, U> & refFoo, const CBar<U> & refBar ){
    refFoo.do_applyOnBar(refBar); // error, line 36: passing argument first argument discards qualifiers.
}

template < class T, class U >
void CFoo<T, U>::do_applyOnBar( const CBar<U> & refBar ){  // error, line 40: member function is protected.
    ......
}
#include "../impl/foo-impl.inc"

foo-impl.inc

template class CFoo<float, float>; // line #1
.....
template void applyOnBar(const CFoo<float, float> &, const CBar<float> &); // line #6

./inc/foo.h: In instantiation of ‘CFoo<float, float>’:  
./src/../impl/foo-impl.inc:1:   instantiated from here  
./inc/foo.h:28: error: template-id ‘applyOnBar<>’ for ‘void applyOnBar(const CFoo<float, float>&, const CBar<float>&)’ does not match any template declaration  

./src/foo.cpp: In function ‘void applyOnBar(const CFoo<T, U>&, const CBar<U>&) [with T = float, U = float]’:  
./src/../impl/foo-impl.inc:6:   instantiated from here  
./src/foo.cpp:40: error: ‘void CFoo<T, U>::do_applyOnBar(const CBar<U>&) [with T = float, U = float]’ is protected  
./src/foo.cpp:36: error: within this context  
./src/foo.cpp:36: error: passing ‘const CFoo<float, float>’ as ‘this’ argument of ‘void CFoo<T, U>::do_applyOnBar(const CBar<U>&) [with T = float, U = float]’ discards qualifiers

Answer 1

refFoo.do_applyOnBar(refBar); // error

Поскольку refFoo является ссылкой на const CFoo, поэтому ее нельзя использовать для вызова неконстантной функции. do_applyOnBar является неконстантной функцией-членом.

Таким образом, либо вы делаете d_applyOnBar const-функцию, написав ключевое слово const справа от сигнатуры функции, либо делаете refFoo неконстантной, удаляя квалификатор const в объявлении параметра!

На другую проблему указал Эрик. Смотри его ответ!

Answer 2

template < class T, class U > void applyOnBar( const CFoo<T, U> &, const CBar<U> );

Если отсутствует второй аргумент &, должно быть:

template < class T, class U > void applyOnBar( const CFoo<T, U> &, const CBar<U> & );

Далее,

virtual void do_applyOnBar(const CBar<U> &);

Для этого требуется const, так как вы используете refFoo.do_applyOnBar(refBar);с refFoo, являющимся постоянным.

virtual void do_applyOnBar(const CBar<U> &) const;