operator *: не удается сопоставить определение функции существующему объявлению

#cpp

Имеются классы:

namespace gmath
{
   template
   class alignas(s) Vector3 : public _Vector
   {
   public:
       template
       friend Vector3 operator*(const Matrix3& m, const Vector3& v);
       // здесь члены и другие объявления
   }


   template
   class alignas(s) Matrix3 : public _Matrix
   {
        // здесь объявления и члены
   }
}


И есть реализация выше объявленного метода:

template
Vector3 gmath::operator*(const Matrix3& m, const Vector3& v)
{
    // здесь код
}


Пишу в Visual Studio 2017, при использовании данного оператора студия показывает,
что он перегружен и находит его. Но при компиляции получаю это:

Ошибка  C2244   operator *: не удается сопоставить определение функции существующему
объявлению

Ошибка указывает именно на этот метод.
MSDN сказал, что при использовании шаблонов следует проверить сопоставление реализации
внимательно...Просмотрел, не нашёл. Куда копать?
    

Ответы

Ответ 1

Код воспроизведен неаккуратно. Как вам удалось использовать тип Matrix3 до его объявления?
Имя параметра шаблона нельзя переиспользовать в качестве параметра вложенного шаблона.
У вас имя s переиспользуется таким некорректным образом. Во внутреннем friend-объявлении
придется использовать другое имя для шаблонного параметра s.

Что касается основной проблемы, то для того, чтобы определить член пространства имен
gmath за пределами пространства имен gmath надо сначала объявить этот член пространства
имен gmath внутри этого пространства имен. Того friend-объявления, которое вы сделали
внутри класса, недостаточно. Оно лишь ссылается на "будущий" член пространства имен
gmath, но не создает видимого объявления. Поэтому компилятор просто не знает, что за
функцию вы пытаетесь определить за пределами пространства имен gmath.

Вам в ваше пространство имен надо добавить явное объявление вашего оператора

namespace gmath
{
  template
  class alignas(s) Matrix3 : public _Matrix
  {
    // ...
  };

  template
  class alignas(s) Vector3 : public _Vector      
  {
    template
    friend Vector3 operator*(const Matrix3& m, const Vector3& v);
    // ...
  };

  template
  Vector3 operator*(const Matrix3& m, const Vector3& v);
}


Также за пределами пространства имен gmath шаблон Vector3 называется gmath::Vector3.
Именно так его и надо именовать в типе возвращаемого значения вашей функции при использовании
"классического" синтаксиса 

template
gmath::Vector3 gmath::operator*(const Matrix3& m, const Vector3& v)
{
  // ...
}


К объявлениям параметров это замечание не относится.

Возникает вопрос: а с чего это вдруг вы взялись определять ваш оператор за пределами
пространства имен? Почему вы просто не определили его внутри и не избежали почти всех
этих ненужных сложностей?