Delphi vs C++ vs C# , ну и Java немножко, где-то ближе к старшему байту номеров страниц

[D_KEY]

Цитата korvin @ 26.04.11, 19:21

Цитата D_KEY @ 26.04.11, 19:10

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

а ваш & -- и есть параметризованный тип, равно как и *

Именно

Цитата

вот тебе без переменных (связанных с исследуемыми значениями):

(define t (make-hash))
 
(hash-set! t 'x 0)       ; обычный
(hash-set! t 'a (box 0)) ; ссылочный
 
(hash-set! t 'y (hash-ref t 'x))
(hash-set! t 'b (hash-ref t 'a))
 
(hash-set! t 'x 1)
(set-box! (hash-ref t 'a) 1)
 
(print (hash-ref t 'y))         ; => 0
(print (unbox (hash-ref t 'b))) ; => 1

и никаких переменных для x, y, a, b

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

Добавлено 26.04.11, 19:27

Цитата korvin @ 26.04.11, 19:22

Цитата D_KEY @ 26.04.11, 19:14

Объекты при передачи по значению не идентичны(хотя могут быть равны). Ты создаешь копию.
Вообще, если речь об ООП, то передавать по значению тебе будет нужно крайне редко. Поэтому такое неявное копирование(и срезы) запрещают.

ну собственно ЧТД

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

[Мяут-Настоящий]

Цитата korvin @ 26.04.11, 19:25

С++ никогда не стал бы так популярен

Давно свой предсказамусовский шарик от пыли протирал? ))

[D_KEY]

Цитата Мяут-Настоящий @ 26.04.11, 19:24

Цитата korvin @ 26.04.11, 19:21

а ваш & -- и есть параметризованный тип, равно как и *

Это почему?

Цитата Wikipedia

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

На множество значений, набор операций & и * влияния не оказывает, т.е. это модификатор типа

Он не оказывает влияние на тип, он порождает новый тип: "ссылка на объект класса T" или "указатель на объект класса T".

[korvin]

Цитата MyNameIsIgor @ 26.04.11, 19:23

Даже C99 далеко до плюсов по части построения абстракции. Лично меня убивает наповал даже такая банальщина, как отсутствие пространств имён - это же финиш полный!!!

я упомянул С99 вовсе не по этой причине, а по причине невозможности так просто напрямую юзать С99-код из плюсов, там какие-то конфликты есть, а уж ОбжС более абстрактен, чем плюсы, мне хватило небольшого знакомства с Xcode и QtCreator, чтоб понять это (хотя да, у Xcode давняя история, попробую Visual C++, потом скажу), не смотря на то, что ОбжС -- просто библиотека, а С++ -- отдельный язык

Сообщение отредактировано: korvin - 26.04.11, 19:28

[D_KEY]

Цитата korvin @ 26.04.11, 19:25

Цитата Мяут-Настоящий @ 26.04.11, 19:23

Ололо, C++ вообще родился из фреймворка многопоточности, написанного Страуструпом в Bell Labs для C. И объемы кода тут не причем, просто реализация получилась достаточно удачной, чтобы ее продолжили развивать

при отсутствии необходимости юзать С код С++ никогда не стал бы так популярен

Ошибаешься, множество проектов начинали на С++. По причине того, что подходил или С, или С++, все остальное было хуже. А С++ лучше С.
Собственно это и продолжается до сих пор, поскольку D, Go и другие попытки занять туже нишу пока малопригодны для практического использования.

Добавлено 26.04.11, 19:30

Цитата korvin @ 26.04.11, 19:28

не смотря на то, что ОбжС -- просто библиотека

У тебя очень странные понятия о библиотеках.

Сообщение отредактировано: D_KEY - 26.04.11, 19:32

[korvin]

Цитата Мяут-Настоящий @ 26.04.11, 19:24

Это почему?

На множество значений, набор операций & и * влияния не оказывает, т.е. это модификатор типа

это по определению, вид этих типов (* -> *), а то, что это типы -- сказал Qraizer и я с ним тут не спорю

* оказывает (. vs ->)

Добавлено 26.04.11, 19:32

Цитата Мяут-Настоящий @ 26.04.11, 19:27

Давно свой предсказамусовский шарик от пыли протирал? ))

чтоб анализировать прошлое, он не нужен, да =/

[Мяут-Настоящий]

Цитата D_KEY @ 26.04.11, 19:28

Он не оказывает влияние на тип, он порождает новый тип: "ссылка на объект класса T" или "указатель на объект класса T".

Кажется мы уже об этом спорили. Тогда почему дизайн C++ явно разрешает такое:

#include <iostream>
 
template<typename T>
void f(T& t) {
  std::cout << "ref\n";
}
 
template<typename T>
void f(T* t) {
  std::cout << "ptr\n";
}
 
struct A {};
 
int main() {
 A a;
 f(a);
 f(&a);
}

Почему во втором случае вызывается вторая функция c T=A, а не первая с T=A*

Добавлено 26.04.11, 19:34

Цитата korvin @ 26.04.11, 19:30

чтоб анализировать прошлое, он не нужен, да =/

Ты вообще какие-то параллельные вселенные анализируешь

[korvin]

Цитата D_KEY @ 26.04.11, 19:29

А С++ лучше С.

скажи это разработчикам ядер всех *никсов + Plan 9. вот в QNX да, там вроде С++ часто юзается, хотя за ядро не скажу, жаль тут нет его разработчиков. а так только вечнодогоняющая, кривая венда, да полузаброшенный BeOS и его потомки

[Мяут-Настоящий]

Цитата korvin @ 26.04.11, 19:34

скажи это разработчикам ядер всех *никсов + Plan 9.

Модули ядра Sun Cluster вполне себе написаны на C++ Да и сам он - адская мешанина из C и C++

[D_KEY]

Цитата Мяут-Настоящий @ 26.04.11, 19:33

Почему во втором случае вызывается вторая функция c T=A, а не первая с T=A*

Потому, что это перегрузка функций

Добавлено 26.04.11, 19:37

Цитата korvin @ 26.04.11, 19:34

Цитата D_KEY @ 26.04.11, 19:29

А С++ лучше С.

скажи это разработчикам ядер всех *никсов + Plan 9. вот в QNX да, там вроде С++ часто юзается, хотя за ядро не скажу, жаль тут нет его разработчиков. а так только вечнодогоняющая, кривая венда, да полузаброшенный BeOS и его потомки

Зачем мне это им говорить? Для ОС возможностей С достаточно, накопленного кода и методик больше, опыта тоже. Так почему же им не использовать С?

[korvin]

Цитата D_KEY @ 26.04.11, 19:25

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

box -- ссылочный тип, ссылочные типы тем и отличаются, что для изменеия какого-то их поля нужно вызывать accessor, они не изменяются сами по присваиванию, т.к. переменные тут не при чем, только значения и их типы при чем

[Мяут-Настоящий]

Цитата D_KEY @ 26.04.11, 19:36

Для ОС возможностей С достаточно, накопленного кода и методик больше, опыта тоже. Так почему же им не использовать С?

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

int lpt_init_device(struct lpt_device* dev, dev_t devno, unsigned long base,
            int irq) {
    char err;
 
    /*Allocate buffers and set up pointer*/
    dev->buffer = kmalloc(BUFFER_SIZE, GFP_KERNEL);
    dev->end = dev->wp = dev->buffer;
 
    /*Task wait queue*/
    init_waitqueue_head(&dev->lock);
    
    /*Init char device*/
    cdev_init(&dev->cdev, &lpt_fops);
    dev->cdev.owner = THIS_MODULE;
    dev->cdev.ops = &lpt_fops;
    err = cdev_add (&dev->cdev, devno, 1);
 
    if (err) {
        printk(KERN_NOTICE "Error %d adding lpt_device device", err);
 
        kfree(dev->buffer);
        return -ENODEV;
    }
 
    /*Init base*/
    dev->base = base;
 
    if (! request_region(base, 3, "lpt")) {
        printk(KERN_INFO "lpt: can't get I/O port address 0x%lx\n",
                base);
        kfree(dev->buffer);
        cdev_del(&dev->cdev);
 
        return -ENODEV;
    }
 
    /*Set up interrupts and bh*/
    tasklet_init(&dev->task, lpt_tasklet, (unsigned long) dev);
    dev->irq = irq;
 
    if(! request_irq(irq, lpt_irq_handler, 0, "lpt", (void*) dev)) {
        printk(KERN_INFO "lpt: can't get irq0x%d\n",
                irq);
 
        /*Cleanup*/
        kfree(dev->buffer);
        cdev_del(&dev->cdev);
        release_region(dev->base, 3);
 
        return -ENODEV;
    }
 
    lpt_put(dev, LPT_CTL, 0x10);
 
    printk(KERN_NOTICE "Registered lpt_device (%d;%d) @0x%lx irq%d",
        MAJOR(devno), MINOR(devno), base, irq);
 
    return 0;
}

[korvin]

Цитата D_KEY @ 26.04.11, 19:36

Зачем мне это им говорить? Для ОС возможностей С достаточно, накопленного кода и методик больше, опыта тоже. Так почему же им не использовать С?

ну тогда не нужно бросаться такими общими фразами =)

[Мяут-Настоящий]

Цитата korvin @ 26.04.11, 19:41

ну тогда не нужно бросаться такими общими фразами =)

Да, но как это отменяет тот факт, что C++ лучше C?

[korvin]

Цитата Мяут-Настоящий @ 26.04.11, 19:36

Модули ядра Sun Cluster вполне себе написаны на C++ Да и сам он - адская мешанина из C и C++

то-то санкам пришлось продаться... =)))) ну ладно, это просто подколка =) OpenSolaris, я смотрю, бурно развивается? =)))

Добавлено 26.04.11, 19:44

Цитата Мяут-Настоящий @ 26.04.11, 19:41

умное слово из книги по питону выучил

кстати, у питона вроде неплохо с юзанием С-кода (сколько там модулей написано на С?). впрочем, может это просто совпадение... =))

Добавлено 26.04.11, 19:46

Цитата Мяут-Настоящий @ 26.04.11, 19:42

Да, но как это отменяет тот факт, что C++ лучше C?

так, что его почти не юзает для написания ОС => как минимум в одной нише он не лучше // КО
а попытки его таки заюзать ничем особо хорошим не обернулись =)