Посоветуйте новичку в С++

Здравствуйте!
После школьной программы знаком с основами Паскаля, Делфи. Скоро поступлю в ВУЗ. Скорей всего буду изучать там С++. Решил немного подготовиться.
Скачал книгу Либерти (21 день).
Сейчас остановился на девятом дне. "Прошел" указатели и ссылки. Возникают большие трудности при использовании указателей и ссылок в классах. Утечки, нулевые объекты, мины замедленного действия, одним словом остались для меня непонятными.
Во-первых мне интересно - я виноват? Или это тяжелые темы для всех? Сколько вы потратили дней, чтобы полностью разобраться в этих темах? Вся сложность в них в том, что надо понимать, как записывается информация, где хранится, когда будет запускаться конструктор, copy конструктор, деструктор. Как надо использовать функции чтобы не запускать copy конструктор.
Во-вторых я хочу спросить, а надо ли мне новичку, знакомым с С++ 7 дней, разбираться в таких, как мне кажется профессиональных вещах? Может можноо обратиться к ним позже? Или дальше без этих тем не уедешь?
Тоесть основной вопрос: если остались непонятки в этих темах, можно изучать дальше, а потом вернуться к ним? Или лучше сейчас все понять?

0

Сообщение от diagon Т.е. то, что вы изменили переменную объекта label1 - это не ООП? Сами себе противоречите.

Не не. Речь то не об этом. Ведь можно просто знать, чтоб изменить текст надо сделать "->" Но при этом не понимать, что это значит... Я в свое время на делфу долго плевался переходя с паскаля. Именно потому, что мне первые программисты именно такие попались показавшие делфи.

Согласитесь использовать и понимать это большая разница.

1

Но я все-таки не понимаю, зачем все усложнять. Генерация исключения заставит читающего код запнуться и разбираться, с какой целью его сгенерировали. Ну и это явно менее эффективно, чем goto(там, если я не ошибаюсь, одна строчка на asm).
Если использовать несколько goto, тогда да, код становится крайне сложно отладить. Но одна маленькая goto'шка в некоторых случаях только улучшит читаемость и быстродействие.
Можно, конечно, использовать функции - но зачем все усложнять?

0

с goto в С++ надо быть предельно осторожным. При выходе из областей видимости вызываются деструкторы для автоматических объектов. При выходе из циклов с помощью goto никакие деструкторы не вызываются, что естественно приводит к печальным последствиям. А с throw в этом плане всё в порядке

1

Сообщение от diagon Можно, конечно, использовать функции - но зачем все усложнять?

В примере, который я привел, использование функций все упрощает

Сообщение от LosAngeles с goto в С++ надо быть предельно осторожным. При выходе из областей видимости вызываются деструкторы для автоматических объектов. При выходе из циклов с помощью goto никакие деструкторы не вызываются, что естественно приводит к печальным последствиям. А с throw в этом плане всё в порядке

Это верно, но все же не оправдывает использования исключений для выхода из циклов.
Простое правило: goto в пределах одной области видимости, не больше!

Все равно самый лучшим вариантом будут изменения на более высоком уровне, чем на уровне команд или инструкций. Серьезно, грамотный рефакторинг - это панацея

0

Сообщение от fasked нуууу.... C++ 1 2 3 4 5 6 7 8 9 10 11 12 #include <vector> #include <iostream> void some_c_function(const int *ptr, size_t nsize) {  while (nsize--) {  printf("%d, ", *ptr++);  } } int main() {  std::vector<int> vec = { 1, 2, 3, 4, 5 };  some_c_function(&vec[0], vec.size()); return 0; }

Ну, строго говоря, данный код не соответствует Стандарту, так как оный отнюдь не требует, чтобы вектор был реализован непременно в виде массива.

0

Сообщение от Mr.X Ну, строго говоря, данный код не соответствует Стандарту, так как оный отнюдь не требует, чтобы вектор был реализован непременно в виде массива.

Не имею под рукой текущего стандарта, (но там тоже самое написано) цитата из драфта грядущего:

23.4.1 Class template vector [vector] A vector is a sequence container that supports random access iterators. In addition, it supports (amortized) constant time insert and erase operations at the end; insert and erase in the middle take linear time. Storage management is handled automatically, though hints can be given to improve efficiency. The elements of a vector are stored contiguously, meaning that if v is a vector<T, Allocator> where T is some type other than bool, then it obeys the identity &v[n] == &v[0] + n for all 0 <= n < v.size().

Так что, строго говоря, данный код соответствует стандарту целиком и полностью. Стандарт, конечно, не требует прямым текстом реализации в виде массива, но то, что элементы хранятся последовательно - гарантируется.
Иначе, выгоднее было бы хранить массив указателей на элементы, а не сами элементы. Манипулировать указателями быстрее. А так сохраняется совместимость с обычными массивами.

0

Сообщение от fasked Стандарт, конечно, не требует прямым текстом реализации в виде массива

а ввиде чего еще его можно реализовать?

0

Сообщение от Maxwe11 а ввиде чего еще его можно реализовать?

Последовательно больше никак, то есть безопасно никак, это была такая плоская шутка. То есть, я имел в виду, что в тексте стандарта (по этому поводу) нет слова "массив", но есть слово "непрерывно", что подразумевает под собой использование массива.

1

Сообщение от LosAngeles с goto в С++ надо быть предельно осторожным. При выходе из областей видимости вызываются деструкторы для автоматических объектов. При выходе из циклов с помощью goto никакие деструкторы не вызываются, что естественно приводит к печальным последствиям.

Это, разумеется, не так. По-крайней мере для компилятора, соответствующего стандарту. Оператор goto так же выполняет "раскрутку стека" как и throw или break, это полноценный оператор C++. Деструкторы не вызываются только при выходе из программы функциями exit() или abort().
Но это всё-равно не значит, что стоит применять goto где попало.

2

Сообщение от fasked Так что, строго говоря, данный код соответствует стандарту целиком и полностью. Стандарт, конечно, не требует прямым текстом реализации в виде массива, но то, что элементы хранятся последовательно - гарантируется. Иначе, выгоднее было бы хранить массив указателей на элементы, а не сами элементы. Манипулировать указателями быстрее. А так сохраняется совместимость с обычными массивами.

В действующем Стандарте о векторе сказано буквально следующее:
A vector is a kind of sequence that supports random access iterators. In addition, it supports (amortized) constant time insert and erase operations at the end; insert and erase in the middle take linear time. Storage management is handled automatically, though hints can be given to improve efficiency.
A vector satisfies all of the requirements of a container and of a reversible container (given intwo tables in 23.1) and of a sequence, including most of the optional sequence requirements (23.1.1). The exceptions are the push-front and pop_front member functions, which are not provided.

Ну и несколько цитат:
Страуструп: «Стандарт не предписывает специального представления для каждого стандартного контейнера».
Джосьютис: «Однако стандарт не утверждает, что в реализации вектора должен использоваться именно динамический массив. Скорее этот выбор обусловлен ограничениями и требованиями к сложности операций».

Так что формально никто не запрещает написать компилятор, где вектор массивом не является.

1

Mr.X, Джосьютис написал это задолго до выхода C++03, но даже у него далее есть отсылка на то, что в стандарте подразумевалась непрерывность элементов вектора и что возможно в будущем это будет внесено в стандарт явно. И действительно, в C++03 это указано прямым текстом, что и процитировал fasked. Сможешь показать разумную реализацию не через массив, но так, чтобы требование непрерывности выполнялось?

Сообщение от Mr.X Так что формально никто не запрещает написать компилятор, где вектор массивом не является.

В C++98 формально может и можно, хотя там ещё требования по сложности операций есть. В C++03 не знаю как.

0

Сообщение от Mr.X Ну и несколько цитат:

С. Мейерс - Эффективное использование STL. Совет 16.

Выражение v[0] дает ссылку на первый элемент вектора, соответственно &v[0] - указатель на первый элемент. В соответствии со Стандартом C++ элементы vector должны храниться в памяти непрерывно, по аналогии с массивом.

То есть, я не думаю, что автор имел в виду C++0x
Заметьте, ни я ни Майерс не говорим про массив, а лишь про непрерывное хранение элементов, то есть друг за другом, как в массиве, а не с помощью массива.



Хотя, по Мейерсу, я должен был написать следующий вызов Си функции:

0

Сообщение от fasked The elements of a vector are stored contiguously, meaning that if v is a vector<T, Allocator> where T is some type other than bool, then it obeys the identity &v[n] == &v[0] + n for all 0 <= n < v.size().

Сообщение от grizlik78 Mr.X, Джосьютис написал это задолго до выхода C++03, но даже у него далее есть отсылка на то, что в стандарте подразумевалась непрерывность элементов вектора и что возможно в будущем это будет внесено в стандарт явно. И действительно, в C++03 это указано прямым текстом, что и процитировал fasked.

Пардон, это изменение как-то мимо меня прошло.

0

Сообщение от asics Ок. Какой для этого случая инструмент вменяемый ? goto, исключения, флаги(bool) отпадают.

Вообще-то лучше писать циклы регулярным способом: вход сверху, выход только один - снизу. Тогда не придется использовать ни goto, ни исключения. И более того, такой цикл можно без раздумий заменять на другой блок, который имеет вход сверху, выход - снизу.
А если есть выходу из середины, то без раздумий не получится - надо читать код и вникать, как цикл работает.

0

Сообщение от ValeryLaptev Вообще-то лучше писать циклы регулярным способом: вход сверху, выход только один - снизу. Тогда не придется использовать ни goto, ни исключения. И более того, такой цикл можно без раздумий заменять на другой блок, который имеет вход сверху, выход - снизу. А если есть выходу из середины, то без раздумий не получится - надо читать код и вникать, как цикл работает.

Я все это осознаю, но спросил, если уже есть перед тобой эти вложенные циклы, как из них можно красиво выйти, именно не переписывать их по-новой, а выйти из имующихся.

0

Сообщение от asics Я все это осознаю, но спросил, если уже есть перед тобой эти вложенные циклы, как из них можно красиво выйти, именно не переписывать их по-новой, а выйти из имующихся.

Хотя, в реально полевых условиях и не такое случается, но суть в том, что подобные ограничения - фейл. Работа с ними - костыли.

Любой костыль, это "меньшее из двух зол". ключевое слово "зло"

0

Сообщение от LosAngeles с goto в С++ надо быть предельно осторожным. При выходе из областей видимости вызываются деструкторы для автоматических объектов. При выходе из циклов с помощью goto никакие деструкторы не вызываются, что естественно приводит к печальным последствиям. А с throw в этом плане всё в порядке

Не все. Для динамических объектов деструкторы не вызываются - имеем утечки памяти.

Добавлено через 2 минуты

Сообщение от Mr.X Ну, строго говоря, данный код не соответствует Стандарту, так как оный отнюдь не требует, чтобы вектор был реализован непременно в виде массива.

До сих пор требовал. В новом отменили? В версии 2003 года специально было сделано уточнение, что вектор реализуется в виде непрерывного куска памяти = ака динамический массив.

0

Сообщение от ValeryLaptev Не все. Для динамических объектов деструкторы не вызываются - имеем утечки памяти.

а при try/catch вызываются? ну так и в чем вопрос

0

alex_x_x, по-моему ValeryLaptev как раз про throw и говорил.

Добавлено через 1 минуту
Точнее даже про

Сообщение от LosAngeles При выходе из областей видимости вызываются деструкторы для автоматических объектов.

1

Именно! Для объекта, созданного операцией new() деструктор вызовется только при выполнении delete(). При раскрутке стека для таких объектов деструктор не вызывается.

0