Баг компилятора в шаблоне: template parameter ambiguous

[Alexey Navoykov]

Билд 1966, 64 бит.   В данном примере компилятор выдаёт ошибку о неоднозначности, хотя тут всё однозначно, ведь массив long[] не может преобразовываться в int[].

template<typename T>
void f(T&[], T) {  }

void OnInit()
{ 
  long arr[];
  int a;
  f(arr, a); // template parameter ambiguous, could be 'long' or 'int'
}

p.s.  Я ошибся. Ложная тревога.

[Sergey Dzyublik]

Нужно писать в комитет, пусть раздвигают стандарты.

[Ilya Malev]

Индексация массивов в любом случае ограничена 2147483647, объявите второй параметр как int и не будет никакой неоднозначности...

[TheXpert]

Alexey Navoykov:

Билд 1966, 64 бит.   В данном примере компилятор выдаёт ошибку о неоднозначности, хотя тут всё однозначно, ведь массив long[] не может преобразовываться в int[].

ошибка справедлива. подстановка не учитывает преобразования и не должна. так что у шаблона на выбор два равнозначных варианта подстановки.

[Konstantin Nikitin]

template<typename T, typename T1>
void f(T &data[], T1 val) {  }

void OnInit()
{ 
  long arr[];
  int a;
  f(arr, a); // template parameter ambiguous, could be 'long' or 'int'
}

или

template<typename T>
void f(T &data[], T val) {  }

void OnInit()
{ 
  long arr[];
  long a;
  f(arr, a); // template parameter ambiguous, could be 'long' or 'int'
}

[Ilya Malev]

Тут проблема в том, что long[] и long не считаются разными типами (не говоря уже о long[][] и т.п.). Поэтому компилятор "не знает", что это массив и что он не приводится.

[Alexey Navoykov]

Да, похоже я ошибся, TheExpert оказался прав.  C++ тоже ошибку выдаёт в аналогичной ситуации.

[Алексей Тарабанов]

Alexey Navoykov:
Да, похоже я ошибся, TheExpert был прав.  В C++ тоже ошибку выдаёт в аналогичной ситуации.

TheExpert всегда прав. В редких случаях общения с Integer возможны исключения. 

[Vitaly Muzichenko]

Алексей Тарабанов:

TheExpert всегда прав. В редких случаях общения с Integer возможны исключения. 

Судья Дред)

[Алексей Тарабанов]

Ilya Malev:
Тут проблема в том, что long[] и long не считаются разными типами (не говоря уже о long[][] и т.п.). Поэтому компилятор "не знает", что это массив и что он не приводится.

Набросайте схему приведения типов и народ к Вам потянется. Главное помнить: сначала прямое преобразование, после - обратное, если оно возможно. 

[Алексей Тарабанов]

Vitaly Muzichenko:

Судья Дред)

Не переживай так.