Шаблонирование класса и затем перегрузка операторов (C ++)

Question

Шаблонирование класса и затем перегрузка операторов (C ++)

0

Код ниже не работает, и я не могу узнать причину, почему любая помощь будет высоко оценена.

//In Maths.h file

template <class T> class Maths{
public:
    Maths<T>(T lhs);

    template<typename U>
    Maths<T>(const Maths<U>& otherMaths);

    ~Maths();

    template <typename U>
    Maths<T>& operator+(const Maths<U>& rhs);

    template <typename U> 
    Maths<T>& operator*(const Maths<U>& rhs);

    template <typename U> 
    Maths<T>& operator-(const Maths<U>& rhs);

private:
    T _lhs;
};



//In Maths.cpp file
#include "Maths.h"

template <class T>
Maths<T>::Maths(T lhs){
    _lhs = lhs;
    return _lhs;
}

template <class T> template <typename U>
Maths<T>::Maths(const Maths<U>& otherMaths){
    _lhs = otherMaths._lhs;
}

template <class T>
Maths<T>::~Maths(){}

template <class T> template <typename U>
Maths<T> Maths<T>::operator+(const Maths<T>& rhs){ return Maths._lhs + rhs; }

template <class T> template <typename U>
Maths<T> Maths<T>::operator-(const Maths<T>& rhs){ return Maths._lhs - rhs; }

template <class T> template <typename U>
Maths<T> Maths<T>::operator*(const Maths<T>& rhs){ return Maths._lhs * rhs; }

Проблема в VS не распознает оператор ключевого слова (т.е. Не отображается синий), почему это?

РЕДАКТИРОВАТЬ:

Я удалил приведенные ниже ошибки. Перемещено все определения в файл.h, и код все равно не будет компилироваться, ошибки найдены здесь: http://i.imgur.com/Z9rWOFh.png

новый код (если интересно):

//in Maths.h file
template <class T> class Maths{
public:
    Maths<T>(T lhs);

    template<typename U>
    Maths<T>(const Maths<U>& otherMaths);

    ~Maths();

    T& getValue(){ return _lhs; };

    template <typename U>
    Maths<T>& operator+(const Maths<U>& rhs);

    template <typename U> 
    Maths<T>& operator*(const Maths<U>& rhs);

    template <typename U> 
    Maths<T>& operator-(const Maths<U>& rhs);

private:
    T _lhs;
};

template <class T>
Maths<T>::Maths(T lhs){
    _lhs = lhs;
}

template <class T> template <typename U>
Maths<T>::Maths(const Maths<U>& otherMaths){
    _lhs = otherMaths.getValue();
}

template <class T>
Maths<T>::~Maths(){}

template <class T>
Maths<T> Maths<T>::operator+(const Maths<T>& rhs){ return _lhs + rhs.getValue(); }

template <class T> template <typename U>
Maths<T> Maths<T>::operator-(const Maths<U>& rhs){ return _lhs - rhs.getValue(); }

template <class T> template <typename U>
Maths<T> Maths<T>::operator*(const Maths<U>& rhs){ return _lhs * rhs.getValue(); }

//in main.cpp

#include "Maths.h"

int main(){
    Maths<int> x = 1;
    Maths<int> y = 5;
    x + y;
    return 0;
}

Tommy Yardley 17 нояб. 2014, в 13:14

Источник

0

Вам не нужно указывать <T> после Maths для типов возвращаемых встроенных функций-членов или для имени конструктора.
Tony Delroy 17 нояб. 2014, в 11:36
0

Пожалуйста, прочтите Почему шаблоны могут быть реализованы только в заголовочном файле? Затем я рекомендую использовать g ++ или clang ++ для понятных сообщений об ошибках: coliru.stacked-crooked.com/a/9aaa7134ef8a6c28
dyp 17 нояб. 2014, в 11:38
0

Я предлагаю вам прочитать это - у вас много основных ошибок.
Tony Delroy 17 нояб. 2014, в 11:45
0

@TonyD Меня больше беспокоит причина, по которой VS не распознает оператор в качестве ключевого слова. Этот код (вместе с main.cpp, который у меня есть) прекрасно работает в g ++, но требования для моего курса в университете - это то, что код должен работать на VS. Можете ли вы увидеть причину, по которой мой код не распознает оператор как ключевое слово? (пример: в приведенном выше фрагменте кода это хорошо читается, где, как на VS, это выглядит так: i.imgur.com/upahPNx.png )
Tommy Yardley 17 нояб. 2014, в 11:53
0

Если что-то работает на g ++, это не значит, что оно должно работать на другом компиляторе. Некоторые поведения не определены в стандарте, и некоторые компиляторы реализуют «ожидаемое» поведение, а другие нет. Я настоятельно рекомендую вам исправить ошибки, указанные в комментариях и ответах, а затем посмотреть, не сработает ли это до сих пор.
Gaston 17 нояб. 2014, в 12:28
0

Ваша проблема в том, что этот код не компилируется? (Если так, пожалуйста, покажите фактические ошибки). Или вас беспокоит только подсветка синтаксиса, даже если он компилируется и запускается?
Useless 17 нояб. 2014, в 12:49
0

@TommyYardley: «Проблема в том, что VS не распознает оператор ключевого слова (т. Е. Не отображается синим цветом)» - если у вас неверный код, это может привести к путанице «intellisense», которая представляет собой систему подсветки синтаксиса Visual Studio и индексирования символов, решает, сделать ваши ключевые слова синим или нет. «Меня больше беспокоит причина, по которой VS не распознает оператор в качестве ключевого слова» - лучше беспокоиться о причинах, а не о симптомах ... пока ваш код не будет корректным и правильно скомпилируется, цвета могут быть неправильными.
Tony Delroy 17 нояб. 2014, в 13:58
0

@TonyD хорошо, спасибо, теперь гораздо больше смысла, спасибо за вашу помощь
Tommy Yardley 17 нояб. 2014, в 15:05
0

я загрузил исправленный код и ошибки компилятора, которые я получаю при запуске кода. Извините за задержку с ответом.
Tommy Yardley 17 нояб. 2014, в 15:23

Показать ещё 7 комментариев

Теги:

c++

class

templates

syntax

overloading

2 ответа

0

Yikes... вы до сих пор не включили раннюю обратную связь. Ниже приведен компилируемый код:

template <class T>
class Maths
{
  public:
    Maths(T lhs);

    template<typename U>
    Maths(const Maths<U>& otherMaths);

    ~Maths();

    T& getValue() { return _lhs; };
    const T getValue() const { return _lhs; };

    template <typename U>
    Maths<T> operator+(const Maths<U>& rhs);

    template <typename U> 
    Maths<T> operator*(const Maths<U>& rhs);

    template <typename U> 
    Maths<T> operator-(const Maths<U>& rhs);

  private:
    T _lhs;
};

template <class T>
Maths<T>::Maths(T lhs){
    _lhs = lhs;
}

template <class T> template <typename U>
Maths<T>::Maths(const Maths<U>& otherMaths){
    _lhs = otherMaths.getValue();
}

template <class T>
Maths<T>::~Maths(){}

template <class T> template <typename U>
Maths<T> Maths<T>::operator+(const Maths<U>& rhs){ return _lhs + rhs.getValue(); }

template <class T> template <typename U>
Maths<T> Maths<T>::operator-(const Maths<U>& rhs){ return _lhs - rhs.getValue(); }

template <class T> template <typename U>
Maths<T> Maths<T>::operator*(const Maths<U>& rhs){ return _lhs * rhs.getValue(); }

//in main.cpp

#include "Maths.h"

int main()
{
    Maths<int> x = 1;
    Maths<int> y = 5;
    x + y;
}

Обратите внимание, что исправления, необходимые для компиляции, включали добавление функции const для getValue, изменение объявлений оператора для возврата Math<T> по значению, а не по ссылке.

Все, что было сказано, не имеет большого смысла сказать, что Math<int> добавленный в Math<double> возвращает Math<int>, поскольку это менее точный из двух типов. В приведенном ниже коде используется decltype для выбора того же самого типа C++, который используется при работе над двумя типами, поэтому, например, int умноженное на double возвращает double, а uint8_t (aka unsigned char), добавленный в unsigned int возвращает другую unsigned int. Я также _lhs имя переменной _lhs для n_ поскольку _lhs применим только с довольно миопической точки зрения внутри операторов... используется rhs " _lhs ", который в любом случае не имеет никакого смысла...

template <class T>
class Maths
{
  public:
    Maths(T n);

    template<typename U>
    Maths(const Maths<U>& otherMaths);

    ~Maths();

    T& getValue() { return n_; };
    const T getValue() const { return n_; };

    template <typename U>
    Maths<decltype(T()+U())> operator+(const Maths<U>& rhs);

    template <typename U> 
    Maths<decltype(T()*U())> operator*(const Maths<U>& rhs);

    template <typename U> 
    Maths<decltype(T()-U())> operator-(const Maths<U>& rhs);

private:
    T n_;
};

template <class T>
Maths<T>::Maths(T n){
    n_ = n;
}

template <class T> template <typename U>
Maths<T>::Maths(const Maths<U>& otherMaths){
    n_ = otherMaths.n_;
}

template <class T>
Maths<T>::~Maths(){}

template <class T> template <typename U>
Maths<decltype(T()+U())> Maths<T>::operator+(const Maths<U>& rhs)
{ return getValue() + rhs.getValue(); }

template <class T> template <typename U>
Maths<decltype(T()-U())> Maths<T>::operator-(const Maths<U>& rhs)
{ return getValue() - rhs.getValue(); }

template <class T> template <typename U>
Maths<decltype(T()*U())> Maths<T>::operator*(const Maths<U>& rhs)
{ return getValue() * rhs.getValue(); }

//in main.cpp

#include "Maths.h"

int main()
{
    Maths<int> x = 1;
    Maths<int> y = 5;
    x + y;
}

Tony Delroy 17 нояб. 2014, в 14:12

Ещё вопросы

Вам не нужно указывать <T> после Maths для типов возвращаемых встроенных функций-членов или для имени конструктора.
Пожалуйста, прочтите Почему шаблоны могут быть реализованы только в заголовочном файле? Затем я рекомендую использовать g ++ или clang ++ для понятных сообщений об ошибках: coliru.stacked-crooked.com/a/9aaa7134ef8a6c28
Я предлагаю вам прочитать это - у вас много основных ошибок.
@TonyD Меня больше беспокоит причина, по которой VS не распознает оператор в качестве ключевого слова. Этот код (вместе с main.cpp, который у меня есть) прекрасно работает в g ++, но требования для моего курса в университете - это то, что код должен работать на VS. Можете ли вы увидеть причину, по которой мой код не распознает оператор как ключевое слово? (пример: в приведенном выше фрагменте кода это хорошо читается, где, как на VS, это выглядит так: i.imgur.com/upahPNx.png )
Если что-то работает на g ++, это не значит, что оно должно работать на другом компиляторе. Некоторые поведения не определены в стандарте, и некоторые компиляторы реализуют «ожидаемое» поведение, а другие нет. Я настоятельно рекомендую вам исправить ошибки, указанные в комментариях и ответах, а затем посмотреть, не сработает ли это до сих пор.
Ваша проблема в том, что этот код не компилируется? (Если так, пожалуйста, покажите фактические ошибки). Или вас беспокоит только подсветка синтаксиса, даже если он компилируется и запускается?
@TommyYardley: «Проблема в том, что VS не распознает оператор ключевого слова (т. Е. Не отображается синим цветом)» - если у вас неверный код, это может привести к путанице «intellisense», которая представляет собой систему подсветки синтаксиса Visual Studio и индексирования символов, решает, сделать ваши ключевые слова синим или нет. «Меня больше беспокоит причина, по которой VS не распознает оператор в качестве ключевого слова» - лучше беспокоиться о причинах, а не о симптомах ... пока ваш код не будет корректным и правильно скомпилируется, цвета могут быть неправильными.
@TonyD хорошо, спасибо, теперь гораздо больше смысла, спасибо за вашу помощь
я загрузил исправленный код и ошибки компилятора, которые я получаю при запуске кода. Извините за задержку с ответом.

NikolayKondratyev · Accepted Answer · 2014-11-17T09-55-00.000Z

Вы не можете отделить объявление и реализацию класса шаблона в нескольких файлах. Поэтому вам нужно переместить все свои реализации в заголовок.
У вас много ошибок, которые вы не видите сейчас (например, возврат в конструктор). Я рекомендую вам перемещать реализации в декларации класса. Исправьте его, отлаживайте, делайте некоторые тесты, а затем пытайтесь переместить реализации вне, если вам все еще нужно.
Visual Studio (или IntelliSense в этом случае) иногда может делать некоторые ошибки при подсветке (или это может быть просто медленно). Не сосредотачивайтесь на этом. Компилятор даст вам более точные ошибки и предупреждения, если что-то не так.

Некоторые ошибки, которые я могу вам сказать:

return в конструкторе Maths<T>( T lhs );
return Maths._lhs + rhs; - Maths - это класс, но вы делаете операции с экземпляром. Если вам нужно взять указатель на текущий экземпляр, используйте this->_lhs _lhs или просто _lhs;
_lhs = otherMaths._lhs; - вы не можете получить доступ к private полю; Вы можете получить значение _lhs класса Maths< T >, но Maths< U > - это другой класс. Поэтому вам нужно будет сделать некоторую функцию, например T& value( ) { return _lhs; } T& value( ) { return _lhs; } и использовать его здесь;

РЕДАКТИРОВАТЬ:

Есть еще некоторые ошибки. Как вы можете видеть в описании ошибки, ваша реализация

template <class T>
Maths<T> Maths<T>::operator+(const Maths<T>& rhs){ return _lhs + rhs.getValue(); }

не соответствует определению функции

// in class template <class T> class Maths
template <typename U>
Maths<T>& operator+(const Maths<U>& rhs);

(Это похоже на игру - найдите разницу = D) Правильный способ:

// declaration
template <typename U>
Maths<T> operator+(const Maths<U>& rhs);
// ...
// definition
template <class T>
template <typename U>
Maths<T> Maths<T>::operator+(const Maths<U>& rhs) { return _lhs + rhs.getValue( ); }

Я удалил объявление & из объявления и добавил template <typename U> к defenition. Для operator- и operator* вам нужно удалить &. Следующий вопрос, который вы получите, что getValue не имеет постоянной декларации. Вам нужно добавить новый метод.

const T& getValue( ) const { return _lhs; }

Относительно 1 .: Нет, вы можете разделить их. Для особых случаев общего программирования, например, когда вы поддерживаете только плавающие типы, это может иметь смысл. Ключевое слово здесь - «явная специализация».
@ phresnel прав. Другой способ - включить .cpp в файл .h после объявления класса. Я думаю, что вопрос здесь не в отделении.
@NikolayKondratyev: Я надеюсь , что вы measn .inl в .h .
Я обновил свой код в основном теле вопроса и мои ошибки компилятора
+1 от меня за хорошие советы и много терпения ;-).
@NikolayKondratyev Извините, я пропустил большинство моментов, которые вы указали в своем отредактированном ответе из-за небрежности (мой лектор что-то проверял, и я забыл изменить его обратно после того, как он все еще не скомпилировался) удаление ссылок & позволило моему скомпилировать код Я просто писал небрежный и плохой код. Я полон решимости стать лучше в этом! Большое спасибо за помощь всем!