KernelSource

Здравствуйте. Хотел бы узнать у опытных программистов, где можно найти литературу по более продвинутым вопросам программирования с С++, т.е. таких как, выделение памяти при создании экземпляров класса, доступ к методам класса, скрытое (от разработчика) создание временных переменных в процессе выполнения, хранение в памяти динамических массивов и осуществление доступа к их ячейкам (если массив хранится в виде нескольких кусков, например) и т.п. То есть по более "низкоуровневым вопросам", связанным с работой компиляторов, менеджеров памяти и др., которые не освещены в большинстве книг по С++.

ПС. Я просто не знаю как лучше (обобщенно) назвать такого рода вопросы, чем "низкоуровневые вопросы"

0

@John Prick

Конкретно такой литературы не встречал.
Подобные вопросы часто встречаются в разных книгах безсистемно. Например, много таких тонкостей описано в книгах "Сложные задачи на С++" и "Новые сложные задачи на С++" Саттера. У Александреску в книге про проектирование на С++ есть раздел про выделение памяти для маленьких объектов. Ну и много где ещё по мелочи.
Мне думается, специальной такой литературы не найти. Низкоуровневые тонкости на то и низкоуровневые, чтобы зависеть от компиляторов и платформ, а потому сложно систематизируемые.

1

KernelSource

Даже это было бы неплохо, скажем на русском языке.
Но даже на английском, на странице документации эмборкадеро С++ не могу найти то, что нужно в моем случае. Невозможно, чтобы такие тонкости у них не документировались! Или я неправильно ищу?

0

Croessmah

Ну это, как мне кажется, есть почти в любой книге.
Почитайте, может понравится:
Стив Макконнелл - Совершенный код. Мастер-класс

1

KernelSource

Нет, вы неправильно поняли, я говорю не про MyClass->Field и Array[Index]
Я про низкоуровневую реализацию и механизмы. И речь идет не про эти КОНКРЕТНЫЕ вопросы, я привел их в пример, чтобы объяснить, что я имею в виду когда говорю "низкоуровневая реализация и механизмы".

Я читал парочку глав оттуда. Это книга советов программисту, типа "Не возжелай исходников ближнего своего", "Повысь духовный уровень своего кода" итд. К моему вопросу не имеет отношения, одним словом.

0

@rangerx

Если я правильно понимаю ваш вопрос, вам нужна литература по ассемблеру и устройству(и принципам работы) операционных систем.

1

Vourhey

KernelSource, как плюсовые код представлен на низком уровне, хорошо написано в книге К. Касперски "искусство дизассемблирования". Он дает примеры кода, а потом описывает, что получается после компиляции.

2

@OhMyGodSoLong

2

@Kastaneda

Изучаешь ассемблер, потом компилируешь сишный код и смотришь, что реально получается. Даже если ты найдешь книгу, с ответами на твои вопросы, то без знания ассемблера все равно глубокого понимания не будет. Например ты будешь знать, что где-то там есть какой-то там стек, и что память под переменные выделяется простым изменением указателя на верхушку стеку. Но толку от таких знаний не много.

Добавлено через 1 минуту
Я бы еще сюда добавил режимы работы процессора.

1

@Deviaphan

Тоже рекомендую. Только это вообще не про С++.

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


Опять же Александреску + Рихтер. Но в основном это только для виртуальных методов смысл есть, иначе можно обойтись указателями на методы.


Почти любая книжка. Учитывая, что оптимизирующий компилятор может обходиться без временных объектов даже тогда, когда ты их сам создаёшь, то можно просто забить и забыть. Достаточно реализовать ккорректные конструктор копирования и оператор присваивания.


Любая книжка для чайников. Ответ содержится в вопросе: массив - непрерывный участок памяти.


А это уже не массив, т.к. невозможно обеспечить доступ за время О(1). А реализовать контейнер с индексированным доступом, без константного времени доступа к элементам задача тривиальная.


Они не освещены, потому что их реализация не стандартизована и каждый разработчик компилятора делает их по своему усмотрению. То же касается ОС. Для основных сведений читай Рихтера.

1

KernelSource

Не смог промолчать. Нет Deviaphan, ДИНАМИЧЕСКИЙ массив это не непрерывный(физически) участок памяти.

А в документации к конкретному компилятору их тоже нет? Скажем к билдеру или MS C++?

Ну слава богу, про сущ-е стека вызовов я в курсе, но знаю асм не на таком уровне чтобы

0

Vourhey

KernelSource, странный ты. Как ты хочешь разбираться в коде, если не хочешь смотреть ассемблерный листинг того, что сделал компилятор?

0

@Kastaneda

А что?

0

@OhMyGodSoLong

Нет, ну полуправдой этот ответ можно считать. Если под "физически" понимать действительно физически. На планке памяти, а не с точки зрения виртуальной памяти. Но тогда, вообще-то говоря, любые массивы не обязательно непрерывны.

Документация, которая покрывает такие аспекты работы, не нужна 99,999% пользователей. Она нужна разработчикам и мейнтейнерам компилятора, так что и искать её надо в исходниках и во внутренней документации. Не думаю, что MS и кто там сейчас владеет Билдером будут её выставлять в публичный доступ.

Уровень вхождения, естественно, там невероятно высокий.

0

@Kastaneda

0

KernelSource

Я бы рад, но ассемблер хромает. Да и что то подсказывает, что в данном случае это не самый рациональный путь.



Динамический массив, в отличие от статического, не обязан быть непрерывным блоком данных, он может состоять из нескольких блоков различной длины, лежащих в разных уголках памяти. По нему не пробежишься, инкрементируя указатель. двумерный ДМ вообще является одномерным массивом указателей на одномерные динамические массивы. т.е Arr[3][4] не лежит рядом с Arr[3][5], рядом лежат только указатели на "подмассивы" и то не факт что лежат

0

@Deviaphan

ЛОЛ ШТО? Это динамически выделенный НЕПРЕРЫВНЫЙ участок памяти. Слово массив не может интерпретироваться никак иначе по определению.

0

KernelSource

перевод Addressing pointers. Автор: Rudy Velthuis:
http://www.transl-gunsmoker.ru... references

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

0

@Deviaphan

Массив обязан быть непрерывным. Я так понимаю, ты имел в виду массив динамически изменяемого размера, а не просто массив в динамической памяти. Но это ничего не меняет. Можешь посмотреть реализацию std::vector, это и есть массив изменяемого размера. Ты можешь сделать контейнер с индексированным доступом, который будет состоять из нескольких участков памяти, но это уже не будет массив.

Добавлено через 2 минуты
"Динамический массив - это блок выделенной памяти" А блок выделенной памяти всегда непрерывен.

0

@I.M.

Где так написано?

1