Ошибка после перегрузки оператора +

@FishZone · Регистрация: 24.11.2016

Author24 — интернет-сервис помощи студентам

Здравствуйте, решил для себя попробовать перегрузить оператор + в классе. Вроде все хорошо работает и результат
при складывании нескольких экземпляров класса выдает правильный результат, но вместе с результатом
появляется какая-то ошибка связанная, вроде, с памятью в куче. Вот моя программка:

Кликните здесь для просмотра всего текста

C++

#include "stdafx.h"
#include <iostream>
 
using namespace std;
 
class String {
  
 private:
  char* str;
  int size;
 public:
 
     String(): size(0), str(0) {}
 
  String( const char* outStr ) { 
     if ( ! outStr ) {
            size = 0;
            delete [] str;
            str = 0; 
       }
     else {
        size = strlen(outStr);
        str = new char[size+1];
        strcpy( str, outStr );
     }
  }
 
  String( const String& rhs ) { 
        if ( ! rhs.size ) {
        size = 0;
            delete [] str; 
            str = 0;
    }
        else {
            size = rhs.size;
            str = new char[size];
            strcpy( str, rhs.str );
        }
  }
 
  ~String() { delete [] str; }
  
  String& operator=( const String& rhs ) {
           
           if ( ! rhs.size ) {
            size = 0;
            delete [] str; 
            str = 0;
           }
           else {
             size = rhs.size;
             str = new char[size+1];
             strcpy( str, rhs.str );
           }
 
          return *this;
    }
             
               
  String operator+( const String& rhs ) {
             String N3;
             N3.size = size + rhs.size;
             N3.str = new char[N3.size+1];
             strcpy( N3.str, str );
             strcat( N3.str, rhs.str );
             return N3;
}
         
 
  void ShowStr() { cout << str << endl; }
  void ShowSize() { cout << size << endl; }
 
};
 
int main()
{
    String N1("hello");
    String N2("World");
    String N3("Its Me");
    String N4 = N1 + N2 + N3;
    N4.ShowStr();
    N4.ShowSize();
    system("pause");
    return 0;
}

Ошибка в прикреплении. В чем я ошибся?

@~~Tree depth~~ · 05.08.2017, 23:31

Сообщение от notAll

Это будет скорее всего обман пользователей так как у нас есть конструктор копий, который может кидать исключение. И обработать теперь этот ексепшин никто не сможет. Так что я бы так не писал.

noexcept обещает не генерировать исключений в теле функции. А конструкция аргументов происходит до вызова функции. Так что тут всё в порядке.

notAll · 06.08.2017, 00:16

Тут дело не в noexcept, а в том что мы соврали пользователям, которые захотят написать безопасный код:

C++

template <typename T>
void push_element_into_conteiner_impl(T&& t, std::true_type)
{
    // тут более еффективний код так как T обещает не кидать исключений
    // если надо сделать резайз контейнера, то все эллементы будут перемещены
 
    T some_temp_copy = t; // упс, ексепшын, а часть эллементов уже перемещена, что теперь делать?
    puts(__PRETTY_FUNCTION__);
}
 
template <typename T>
void push_element_into_conteiner_impl(T&& t, std::false_type)
{
    // тут менее эффективный код, так как наша функция должна иметь строгую гарантию безопасности
    // при ресайзе все эллементы сначала надо скопировать
    
    T some_temp_copy = t; // упс, ексепшын, но ничего страшного, - мы еще не затерли наши эллементы
    puts(__PRETTY_FUNCTION__);
}
 
template <typename T>
void push_element_into_conteiner(T&& t)
{
    push_element_into_conteiner_impl(std::forward<T>(t), typename std::is_nothrow_move_assignable<typename std::remove_reference<T>::type>::type());
}
 
int main()
{
    String s("Hello");
    push_element_into_conteiner(s);
}

@~~Tree depth~~ · 06.08.2017, 00:30

notAll, а при чём тут std::is_nothrow_move_assignable, если в функциях происходит не move, а copy и не assignment, а construction?

notAll · 06.08.2017, 00:59

Сообщение от Tree depth

если в функциях происходит не move, а copy и не assignment, а construction

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

C++

some_internal_conteiner[i] = t;
if (check_data(some_internal_conteiner[i]))
{
    data[last] = std::move(t);
}

@~~Tree depth~~ · 06.08.2017, 01:14

notAll, я не совсем понимаю, с чем ты хочешь поспорить.
Конструкция аргументов — это дело вызывающей стороны и noexcept у вызываемой функции никак не мешает ловить исключения, возникающие при конструкции аргументов.
Можно наконец самому проверить, что исключения в copy constructor-е при вызове оператора присваивания с noexcept прекрасно отлавливаются и не приводят к вызову std::terminate. Если лень проверять — можно погуглить https://stackoverflow.com/ques... swap-idiom

Добавлено через 10 минут
И ещё:

C++

// String& operator =(String rhs) noexcept
 
std::cout << std::is_nothrow_move_assignable<String>::value << '\n'; // true
std::cout << std::is_nothrow_copy_assignable<String>::value << '\n'; // false <-- !!!

Т.е. пользователя предупреждают, что если он будет использовать String& operator =(String rhs) noexcept как copy assignment оператор, то ему не гарантируется отсутствие исключений.

Так в чём же обман? Никакой разницы между String& operator =(String rhs) noexcept и версией с двумя операторами присваивания нет.

notAll · 06.08.2017, 01:46

Да, так оно и есть, я был не прав.

@~~Tree depth~~ Заблокирован
	05.08.2017, 23:31	21
	Сообщение от notAll Это будет скорее всего обман пользователей так как у нас есть конструктор копий, который может кидать исключение. И обработать теперь этот ексепшин никто не сможет. Так что я бы так не писал. noexcept обещает не генерировать исключений в теле функции. А конструкция аргументов происходит до вызова функции. Так что тут всё в порядке. 0

notAll 495 / 209 / 70 Регистрация: 27.05.2016 Сообщений: 557
	06.08.2017, 01:46	26
	Да, так оно и есть, я был не прав. 1

@~~Tree depth~~ Заблокирован
	06.08.2017, 00:30	23
	notAll, а при чём тут `std::is_nothrow_move_assignable`, если в функциях происходит не move, а copy и не assignment, а construction? 0