оператор преобразования шаблона

Question

Я хочу перегрузить оператор преобразования для двух шаблонов.

хиджры

#pragma once 

#include <B.h> 

template <typename T> class A 
{ 
operator B<T>() const; 
} 

B.h

#pragma once 

#include <A.h> 

template <typename T> class B 
{ 
operator A<T>() const; 
} 

я получил ошибку

error C2833: 'operator A' is not a recognized operator or type see 
reference to class template instantiation 'B<T>' being compiled 

Хотя это работает, если оператор преобразования перегружается только в одном шаблоне.

Answer 1

У вас есть проблема с циклической зависимостью. Вы должны иметь опережающее объявление, например:

хиджры:

#pragma once 

template <class T> class B; 

template <class T> class A { 
    operator B<T>() const; 
}; 

#include "B.h" 

template <class T> 
A<T>::operator B<T>() const { 
    foo(); 
} 

B.h:

#pragma once 
#include "A.h" 

template <class T> 
class B { 
    operator A<T>() const { 
     bar(); 
    } 
}; 

Я предполагаю, что вы использовали #include "A.h". A.h затем включал B.h. Когда компилятор начал компилировать B.h, он еще не видел объявления для A.h, и, следовательно, компилятор не знал, как интерпретировать operator A<T>() const, так как он не знает, что A является типом.