🚀 go-pugleaf

Voor een project ontwerpen wij een wiskundige library, die een aantal
fundamentele types ondersteunt zoals matrix, vector, rational, complex en
verylong (onbegrensde int). Alleen die laatste klasse is niet
getemplatiseerd. Nu krijgen we problemen in onze code als we een
matrix<complex<rational<verylong>>> proberen te maken. Het probleem is
namelijk dat gcc plots verward raakt, en niet meer kan kiezen tussen de
copyconstructor en de gewone constructor.
De fout ziet er als volgt uit:

testmatrix.cxx: In member function `void Test::TestMatrix::testConstructor()
   [with AT = WiskTypes::Complex<WiskTypes::Rational<WiskTypes::VeryLong>
>]':
testmatrix.cxx:23:   instantiated from `void
Test::testTypes(CppUnit::TestSuite*, std::basic_string<char,
std::char_traits<char>, std::allocator<char> >) [with AT =
WiskTypes::Complex<WiskTypes::Rational<WiskTypes::VeryLong> >]'
testmatrix.cxx:73:   instantiated from here
testmatrix.cxx:92: no matching function for call to `
   WiskTypes::Complex<WiskTypes::Rational<WiskTypes::VeryLong>
>::Complex(int)'
../complex.h:54: candidates are: WiskTypes::Complex<AT>::Complex(const
   WiskTypes::Complex<AT>&) [with AT =
   WiskTypes::Rational<WiskTypes::VeryLong>]
../complex.h:48:                 WiskTypes::Complex<AT>::Complex(AT =
(AT)(0),
   AT = (AT)(0)) [with AT = WiskTypes::Rational<WiskTypes::VeryLong>]

Waarbij in testmatrix op die plaats WiskTypes::Matrix<AT>(4,6,AT(7)) staat,
en in complex.h dus de declaraties staan van respectievelijk de
copyconstructor en een gewone constructor op basis van 2 argumenten AT.

De vraag is dus: waarom gaat dit fout, en wat kunnen we eraan doen?
-- 
Pleased to meet you
Hope you guess my name
But what's puzzling you
Is the nature of my game