Неоднозначный шаблон, Code Warrior - PullRequest
Новая
       23

Неоднозначный шаблон, Code Warrior

4 голосов
/ 12 сентября 2009

Следующий код компилируется в Visual C ++ и gcc, но не работает с Code Warrior

Жалоба на то, что вызов шаблона является неоднозначным - нельзя выбирать между doIt (M *) и doIt (M const *), хотя в каждом случае параметр однозначно является стоимостным или неконстантным. Раздражает, если я предоставлю второй аргумент шаблона, он решит, что он больше не является двусмысленным. 

template< typename T1, typename T2 >
T1 const* doIt( T2 const* );

template< typename T1, typename T2 >
T1* doIt( T2* );

class M {};
class N : public M {};

void f()
{
   M* m1 = NULL;
   M const* m2 = NULL;

   doIt<N>( m1 );    // Fail
   doIt<N>( m2 );    // Fail
   doIt<N,M>( m1 );  // OK
   doIt<N,M>( m2 );  // OK

}

Это просто ошибка компилятора Code Warrior? (Или ошибка с gcc / Visual C ++).

1 Ответ

5 голосов
/ 12 сентября 2009

Это ошибка компилятора codewarrior.

Вот что должно произойти: 

template< typename T1, typename T2 >
T1 const* doIt( T2 const* );   // 1

template< typename T1, typename T2 >
T1* doIt( T2* );  // 2

class M {};
class N : public M {};

void f()
{
  M* m1 = 0;
  M const* m2 = 0;

  doIt<N>( m1 );    
  // In the above call - the compiler does the following (post argument deduction)
  //  1) create a viable set of functions  { N* doIt1<N,M>(const M*) , N* doIt2<N, M>(M*) }
  //  2) check the conversion sequences - M* -> M* is better than M* -> const M*
  //  Since doIt2 has a "better" conversion sequence (hard to beat identity) it wins - no ambiguity


  doIt<N>( m2 );    
  // 1) Viable functions: { doIt1<N,M>(const M*), doIt2<N,const M>(const M*) }
  // 2) Conversion Sequence Ranking: both do identity - so both are good
  // 3) Check to see if the "mother" template of either candidate is more specialized
  //     - Since doIt1 theoretically matches fewer types than doIt2, it is unambiguously more specialized (the standard specifies an algorithm to check this)
  //     - so doIt1 wins
}

Надеюсь, это поможет.

...