Модераторы: Daevaorn

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> "Абстрактный" и "НЕ абстрактный" типы данных, В чём разница? 
:(
    Опции темы
ДокторТуамОсес
Дата 3.1.2011, 22:01 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Бывалый
*


Профиль
Группа: Участник
Сообщений: 242
Регистрация: 8.6.2009

Репутация: -4
Всего: -12
Цитата(KaraKum @ 3.1.2011,  21:54)
Цитата(ДокторТуамОсес @  3.1.2011,  22:34 Найти цитируемый пост)
значение переменной c до выполнения программы неизвестно.

Я сказал размер, а не значение!

Дык размер указателя на void тоже известен во время компиляции. smile 
--------------------
"Извините! А это ничего, что я говорю в тот момент, когда Вы меня перебиваете?"™ 
PM MAIL   Вверх
mes
Дата 3.1.2011, 22:02 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


любитель
****


Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250
Цитата(Batbko @  3.1.2011,  20:17 Найти цитируемый пост)
но приоритет операции или способ её вызова это не изменит, 

а значит семантика не изменилась .. так ?


Цитата(Batbko @  3.1.2011,  20:17 Найти цитируемый пост)
 просто не определена операция сложения целого с обьектом класса, от этого комутативность не утеряна и будет сохранена для обьектов этого типа.Возможность получения такой  неоднозначности недостаток ЯП.

коммутативность это не обязательное требование, которое жестко привязанно к оператору +..
наоборот реализация оператора + для операции сложения (желательно) должна предоставлять коммутативность.. т.е. не стоит путать причину и следствие smile

Добавлено через 2 минуты и 24 секунды
Цитата(Batbko @  3.1.2011,  20:17 Найти цитируемый пост)
Под семантикой я понимаю совокупность правил по которым происходит выполнение операций, а не то что операции должны делать

ну так коммутативность Вы туда сами притянули ? перечитайте свой пост..
а насчет "остальных" свойств семантики , были приведены другие операторы, которые сильно меняют свое поведение smile



--------------------
http://opendots.net
PM MAIL WWW   Вверх
Batbko
Дата 3.1.2011, 22:06 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 40
Регистрация: 17.12.2010

Репутация: нет
Всего: нет
Цитата

Эй вы, херувимы и серафимы! — сказал Остап, вызывая врагов на диспут.— Бога нет!

Цитата(KaraKum @  3.1.2011,  21:33 Найти цитируемый пост)
Короче, вундеркинды, и kemiisto в их числе со своими отсылками на "в корне неверными суждениями".


Не смог удержаться smile
PM MAIL   Вверх
mes
Дата 3.1.2011, 22:06 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


любитель
****


Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250
Цитата(ДокторТуамОсес @  3.1.2011,  20:22 Найти цитируемый пост)
Из типа стоящего справа выражения

но справа же не переменная, откуда у нее тип ?  smile 


--------------------
http://opendots.net
PM MAIL WWW   Вверх
ДокторТуамОсес
Дата 3.1.2011, 22:06 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Бывалый
*


Профиль
Группа: Участник
Сообщений: 242
Регистрация: 8.6.2009

Репутация: -4
Всего: -12
Цитата(KaraKum @ 3.1.2011,  21:54)
Цитата(ДокторТуамОсес @  3.1.2011,  22:34 Найти цитируемый пост)
Добавлено через 9 минут и 39 секунд
Цитата(KaraKum @ 3.1.2011,  21:13)
Цитата(ДокторТуамОсес @  3.1.2011,  22:02 Найти цитируемый пост)
( к примеру нельзя переменной, являющейся указателем на void присвоить
 НЕПОСРЕДСТВЕННО значение типа int)

Можно.

 smile

Код

void* whatTheFuckAmIDoingOnThisThread;
int justValue = 5;
whatTheFuckAmIDoingOnThisThread = justValue;


Достаточно ли тут НЕПОСРЕДСТВЕННОСТИ? Или чего-то не хватает? Какой-нибудь семантики, аксиоматики, абстрактности, сиплюсплюсности?

Всё бы хорошо, только компилятор отказывается это "переваривать":

error: invalid conversion from `int' to `void*' 

 smile 
--------------------
"Извините! А это ничего, что я говорю в тот момент, когда Вы меня перебиваете?"™ 
PM MAIL   Вверх
KaraKum
Дата 3.1.2011, 22:07 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 640
Регистрация: 3.12.2007

Репутация: 1
Всего: 1
Увы  smile 
PM MAIL WWW   Вверх
mes
Дата 3.1.2011, 22:08 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


любитель
****


Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250
Цитата(ДокторТуамОсес @  3.1.2011,  20:34 Найти цитируемый пост)
А мне представляется, что конструируется.
Сначала мы из "лексем" [typedef], [int], [*] и [;] "сконструировали тип" P 
А потом из "лексем" [typedef], [*],  [P] и [;] "сконструировали тип" P2

во первых typedef не определяет новый тип, а определяет синоним типа smile
во вторых перечитайте свое оригинальное сообщение, от которого и возник вопрос.. 



--------------------
http://opendots.net
PM MAIL WWW   Вверх
KaraKum
Дата 3.1.2011, 22:08 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 640
Регистрация: 3.12.2007

Репутация: 1
Всего: 1
Цитата(ДокторТуамОсес @  3.1.2011,  23:06 Найти цитируемый пост)
Всё бы хорошо, только компилятор отказывается это "переваривать":

error: invalid conversion from `int' to `void*' 

Компилятор капризный. gcc с радостью бы "схавал". Можно ублажить его, написав (void*).

Это сообщение отредактировал(а) KaraKum - 3.1.2011, 22:09
PM MAIL WWW   Вверх
ДокторТуамОсес
Дата 3.1.2011, 22:10 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Бывалый
*


Профиль
Группа: Участник
Сообщений: 242
Регистрация: 8.6.2009

Репутация: -4
Всего: -12
Цитата(KaraKum @ 3.1.2011,  22:01)
Цитата(ДокторТуамОсес @  3.1.2011,  22:58 Найти цитируемый пост)
 в конечном счёте любая программа это 
не более чем последовательность машинных команд

Нет - я такого не хотел сказать и сейчас не говорю.

"Дык как же тебя понять, если ты ничего не говоришь?   smile  "© - к/ф "Иван Василич меняет профессию" 

 smile 
--------------------
"Извините! А это ничего, что я говорю в тот момент, когда Вы меня перебиваете?"™ 
PM MAIL   Вверх
KaraKum
Дата 3.1.2011, 22:13 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 640
Регистрация: 3.12.2007

Репутация: 1
Всего: 1
Каждое моё второе сообщение остаётся без внимания.
Вот на данный момент какой конкретно вопрос открыт? На всё отвечу! (интим не предлагать)
PM MAIL WWW   Вверх
mes
Дата 3.1.2011, 22:14 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


любитель
****


Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250
Цитата(KaraKum @  3.1.2011,  21:13 Найти цитируемый пост)
аждое моё второе сообщение остаётся без внимания.

привыкайте к стилю общения ДокторТуамОсес ©



--------------------
http://opendots.net
PM MAIL WWW   Вверх
ДокторТуамОсес
Дата 3.1.2011, 22:15 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Бывалый
*


Профиль
Группа: Участник
Сообщений: 242
Регистрация: 8.6.2009

Репутация: -4
Всего: -12
Цитата(mes @ 3.1.2011,  22:06)
Цитата(ДокторТуамОсес @  3.1.2011,  20:22 Найти цитируемый пост)
Из типа стоящего справа выражения

но справа же не переменная, откуда у нее тип ?  smile

Справа стоит стоит то, что будет присваиваться переменной, 
а как можно присвоить тому, что имеет тип, то, что типа не имеет?   smile  
R-Value - частный случай переменной.
--------------------
"Извините! А это ничего, что я говорю в тот момент, когда Вы меня перебиваете?"™ 
PM MAIL   Вверх
mes
Дата 3.1.2011, 22:16 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


любитель
****


Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250
Цитата(ДокторТуамОсес @  3.1.2011,  21:15 Найти цитируемый пост)
R-Value - частный случай переменной. 

да, частный случай, но не переменной.. smile но уже близко smile


--------------------
http://opendots.net
PM MAIL WWW   Вверх
KaraKum
Дата 3.1.2011, 22:16 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 640
Регистрация: 3.12.2007

Репутация: 1
Всего: 1
Цитата(mes @  3.1.2011,  23:14 Найти цитируемый пост)
привыкайте к стилю общения ДокторТуамОсес ©

Да уж его стиль по-приятнее будет чем некоторых  smile

Добавлено через 48 секунд
А на зачёркнутые вопросы нужно отвечать?

Добавлено через 3 минуты и 57 секунд
А вообще, я думаю что автор уже и сам не рад что задал этот вопрос  smile 
PM MAIL WWW   Вверх
ДокторТуамОсес
Дата 3.1.2011, 22:22 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Бывалый
*


Профиль
Группа: Участник
Сообщений: 242
Регистрация: 8.6.2009

Репутация: -4
Всего: -12
Цитата(mes @ 3.1.2011,  22:08)
Цитата(ДокторТуамОсес @  3.1.2011,  20:34 Найти цитируемый пост)
А мне представляется, что конструируется.
Сначала мы из "лексем" [typedef], [int], [*] и [;] "сконструировали тип" P 
А потом из "лексем" [typedef], [*],  [P] и [;] "сконструировали тип" P2

во первых typedef не определяет новый тип, а определяет синоним типа smile

Что однако ни сколько мне не помешало сначала
сконструировать определение P, а потом, используя P как "кирпичик",
сконструировать определение P2  smile 
--------------------
"Извините! А это ничего, что я говорю в тот момент, когда Вы меня перебиваете?"™ 
PM MAIL   Вверх
Ответ в темуСоздание новой темы Создание опроса
Правила форума "С++:Общие вопросы"
Earnest Daevaorn

Добро пожаловать!

  • Черновик стандарта C++ (за октябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика(4.4мб).
  • Черновик стандарта C (за сентябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика (3.4мб).
  • Прежде чем задать вопрос, прочтите это и/или это!
  • Здесь хранится весь мировой запас ссылок на документы, связанные с C++ :)
  • Не брезгуйте пользоваться тегами [code=cpp][/code].
  • Пожалуйста, не просите написать за вас программы в этом разделе - для этого существует "Центр Помощи".
  • C++ FAQ

Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Earnest Daevaorn
 
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | C/C++: Общие вопросы | Следующая тема »

Подписаться на тему | Подписка на этот форум | Скачать/Распечатать тему


 




[ Время генерации скрипта: 0.0598 ]   [ Использовано запросов: 22 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
 По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.