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

Цитата korvin @ 24.02.11, 08:53

Цитата D_KEY @ 24.02.11, 08:50

korvin, т.е. ты считаешь, что множество операций(интерфейс) не относятся к типу в программировании?

к типу - нет, к реализации значений типа - да.

Поясни, не понял. Если мне память не изменяет и в TAPL под типом понималось множество значений и операции.

В общем, у нас тут уже жуткая путаница в терминах.

Цитата D_KEY @ 24.02.11, 08:52

void f(A &a)
{
    a.f();
}

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

угу, и что? =)
Конкретный тип объекта не А, абстрактные классы и интерфейсы лишь средства реализации специального полиморфизма и повторного использования кода. Собственных типов они не имеют

Цитата korvin @ 24.02.11, 09:01

Цитата D_KEY @ 24.02.11, 08:52

void f(A &a)
{
    a.f();
}

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

угу, и что? =)
Конкретный тип объекта не А, абстрактные классы и интерфейсы лишь средства реализации специального полиморфизма и повторного использования кода. Собственных типов они не имеют

В некоторой литературе они называются типами. В том числе и в GoF. Понимаешь, тут весь вопрос, что понимать под типом

Добавлено 24.02.11, 09:10
Повстанець уже как-то цитировал.

Цитата

Тип — это имя, используемое для обозначения конкретного интерфейса. Гово-
рят, что объект имеет тип Window, если он готов принимать запросы на выполне-
ние любых операций, определенных в интерфейсе с именем Window. У одного
объекта может быть много типов. Напротив, сильно отличающиеся объекты мо-
гут разделять общий тип. Часть интерфейса объекта может быть охарактеризова-
на одним типом, а часть - другим. Два объекта одного и того же типа должны раз-
делять только часть своих интерфейсов. Интерфейсы могут содержать другие
интерфейсы в качестве подмножеств. Мы говорим, что один тип является подти-
пом другого, если интерфейс первого содержит интерфейс второго. В этом случае
второй тип называется супертипом для первого. Часто говорят также, что подтип
наследует интерфейс своего супертипа.

Киллер, ты когда-нибудь пробовал страницы просматривать полностью или у тебя прокрутки в системе в принципе нет? =) подсказка: в англовике классификацию типов посмотри

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

Цитата korvin @ 24.02.11, 09:24

Д_Кей а как же быть с записями и алгебраическими типами данных?

А что с ними не так?

Цитата

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

Это нормальная ситуация.

Цитата korvin @ 24.02.11, 09:24

Киллер, ты когда-нибудь пробовал страницы просматривать полностью или у тебя прокрутки в системе в принципе нет? =) подсказка: в англовике классификацию типов посмотри

Я не нашел противоречий с русской вики, хотя да, описаное действительно отличается... Но никаких противоречий нема
Просто если рассматривать тип, как характеристику "данного"(не данных), что именно и рассматриваешь ты, то да, потому как характеристика должна что то характеризовать... Но на таком уровне я и не собирался рассматривать типы данных, конечно же понятно, что код функции, класса, структуры, тайпдефа или еще чего то, никуда не девается, а лишь трансформируется в машинный код. Но, ты этими данными управлять не может, т.е. ты не можешь просто вот так сделать этот код полиморфным, мы ведь говорим о прикладном программировании, с этой точки зрения и рассматривай Типы и Типы данных. На этом уровне как раз таки, Типы данных отличаются от Типов, потому как класс, может попросту не содержать данных, которыми можно оперировать и над которыми можно производить операции, но при этом это будет тип!

Добавлено 24.02.11, 09:44
Ну и как пример, вот:

class A
{};

Вполне законная конструкция, скомпилица на ура... Но данных не содержит, может ли это называтся типом данных, если эта структура их попросу не содержит??

Сообщение отредактировано: KILLER - 24.02.11, 09:44

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

Цитата korvin @ 24.02.11, 09:44

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

В том то и дело, что ты сможешь только объявить переменную и передать объект этого типа в функцию/метод, и все... Какое значение ты собрался присваивать типу "данных" выше? И с чем оперировать?

Добавлено 24.02.11, 09:50
Кстати можно еще над последним примером поиздеваца вот так:

class A
{
private:
A();
};

и тогда вообще будет жесть, ты даже не сможешь создать переменной этого типа "данных"

Сообщение отредактировано: KILLER - 24.02.11, 09:52

Цитата KILLER @ 24.02.11, 09:38

Ну и как пример, вот:

class A
{};

Вполне законная конструкция, скомпилица на ура... Но данных не содержит, может ли это называтся типом данных, если эта структура их попросу не содержит??

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

Цитата korvin @ 24.02.11, 10:10

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

Последний вариант посмотри, вот этот:

class A
{
private:
A();
};

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

Цитата KILLER @ 24.02.11, 09:46

В том то и дело, что ты сможешь только объявить переменную и передать объект этого типа в функцию/метод, и все... Какое значение ты собрался присваивать типу "данных" выше? И с чем оперировать?

type
  Foo = function (x :Integer) :Integer;
 
var
  y : Foo;
 
function f (x :Integer) :Integer;
begin
  Result := x + 1;
end;
 
// ...
y := f;
WriteLn( y(0) );
// ...

Добавлено 24.02.11, 10:15

Цитата KILLER @ 24.02.11, 10:13

Последний вариант посмотри, вот этот:

class A
{
private:
A();
};

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

дык я же писал -- нет значений => нет типа

Сообщение отредактировано: korvin - 24.02.11, 10:17

Цитата korvin @ 24.02.11, 10:14

дык я же писал -- нет значений => нет типа

А чтоже это по твоему?
Там ведь голубым и черным по белому написано

Цитата

тип А

Цитата KILLER @ 24.02.11, 10:18

А чтоже это по твоему?
Там ведь голубым и черным по белому написано

Цитата

тип А

там написано "class A". очевидно, что это класс.

Цитата korvin @ 24.02.11, 10:21

Цитата KILLER @ 24.02.11, 10:18

А чтоже это по твоему?
Там ведь голубым и черным по белому написано

Цитата

тип А

там написано "class A". очевидно, что это класс.

А классы, в общем случае, описывают абстрактные типы данных. Нет?

D_KEY, вернемся к нашим баранам.... Про класс дл работы с GDI+... Опиши еще раз, подробнее, что этот класс у тебя будет делать. Интерфейс его приведи, если так угодно