Классы или интерфейсы?

@skilllab · Регистрация: 03.02.2011

Студворк — интернет-сервис помощи студентам

Согласно новомодным книжкам от очередных гуру программистов, делаю на уровне интерфейсов.
Итак, накидаю примерчик:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
public interface IRowViewModel : INotifyPropertyChanged
{
   ISomeItem Item {get;set;}
   string Designation { get;}
   string Name { get;}
}
 
public interface IMaterialRow : IRowViewModel
{
   double Thickness { get; }
}
 
public class SpecMaterialRow : PropertyChangedBase, IMaterialRow
{
   public ISomeItem Item { get; }
   public SpecMaterialRow(ISomeItem _item)
   {
      Item = _item;
   }
 
   public string Designation
   {
      get { return Item.Designation; }
      set { Item.Designation = value;}
   }
   
   public string Name
   {
      get { return Item.Name; }
      set { Item.Name= value;}
   }
   
   public double Thickness => Item.Thickness ;
}

Далее в коде гденить кастую и беру значение свойства.

Уно:

C#
1
2
3
4
if (rowViewModel is SpecMaterialRow )
  {
      string tempVar = ((SpecMaterialRow) rowViewModel ).Designation;
  }

Дос:

C#
1
2
3
4
if (rowViewModel is IMaterialRow  )
  {
      string tempVar = ((IMaterialRow) rowViewModel ).Designation;
  }

Вопрос: какая конструкция тогда вообще будет более корректна или верна?

Psilon · 12.06.2017, 19:46

skilllab,

Psilon · 12.06.2017, 19:48

Сообщение от skilllab

а я и не сказал что не работает. Это видать решарпер "подчёркивает".

у меня ничего не подчеркивает, как видно из скрина.

@skilllab · 12.06.2017, 20:00 **[ТС]**

Psilon, так вы case на типе сделайте. Так то понятно что всё гут.

@Usaga · 12.06.2017, 20:10

Psilon, интересная оптимизация на скриншоте.

@pycture · 13.06.2017, 06:55

Не по теме:

Psilon,

Кликните здесь для просмотра всего текста

тред про ооп костыли для жуткой (да еще и медленной) эмуляции адт. как я и говорил c# для работы с данными не предназначен :)

@Usaga · 13.06.2017, 06:58

pycture, эм, что именно тут жуткое и тормозное?..

Psilon · 13.06.2017, 12:22

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

Сообщение от skilllab

Psilon, так вы case на типе сделайте. Так то понятно что всё гут.

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

Architecture > Performance.

@skilllab · 13.06.2017, 12:25 **[ТС]**

Не по теме:

Сообщение от Psilon

Ну дык, главное как архитектурно выглядит.

Текущий вопрос был в "подчёркиваниях" :) всего лишь.

@pycture · 13.06.2017, 13:14

Сообщение от Usaga

эм, что именно тут жуткое и тормозное?..

код

Сообщение от Psilon

Алсо не уверен, что шарп медленнее. Бенчмарки в студию

визторы Time: 2316 ms
адт Time: 2264 ms

Добавлено через 2 минуты
визитры отсюда Классы или интерфейсы?

Psilon · 13.06.2017, 13:32

Сообщение от pycture

визторы Time: 2316 ms
адт Time: 2264 ms

Ну да, как тут не признать, ТОРМОЗНУТЫЙ ШАРП. Отстал на 5%. Остается его только выбросить.

@Usaga · 13.06.2017, 14:23

pycture, замените в том коде foreach на for, может результаты выровняются

@pycture · 13.06.2017, 14:28

Сообщение от Usaga

может результаты выровняются

не выравняются. foreach используется в обоих вариантах

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

Сообщение от Psilon

Отстал на 5%.

если убрать foreach в шарпе все будет еще грустнее

@Usaga · 13.06.2017, 14:33

pycture, нет, вы не поняли, уберите только в примере с Visitor.

Можно посмотреть, как вы сравнивали?

@skilllab · 13.06.2017, 19:59 **[ТС]**

Сообщение от Psilon

У эванса DDD почитай

Шедевр! Второй день взахлёб. Я б эту книжечку вообще ввёл бы как обязательную для учащихся.
Всё что там описывается как-то интуитивно реализовывал сам. От недостатка знаний в области программированя модель была, а вот реализация... а реализацию рефакторил ежемесячно

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

Сообщение от Psilon

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

Это зерно)) а книжка - прям пахота.

@pycture · 14.06.2017, 06:26

Сообщение от Usaga

уберите только в примере с Visitor.

тогда сравнение будет некоректно. если убирать в обоих вариантах
визиторы Time: 842 ms
адт Time: 804 ms

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

Можно посмотреть, как вы сравнивали?

что значит "как"? запускал и мерял время

@Usaga · 14.06.2017, 06:29

pycture, я имел в виду увидеть ваш вариант использования "АДТ". Сколько возможных типов проверялось? Один, пять, десять? Это ведь тоже важно.

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

Не по теме:

Кстати, нифига себе вышла разница между FOREACH и FOR :)

@pycture · 14.06.2017, 07:11

Сообщение от Usaga

вариант использования "АДТ"

Не по теме:

стандарный адт, какие там могут быть варианты.

Кликните здесь для просмотра всего текста

F#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
type HorseX() = 
    member val Name = ""  with get, set
    member val Color = "" with get, set
 
type HorseX2() = 
    member val Name = ""  with get, set
    member val Color = "" with get, set
 
type HorseX3() = 
    member val Name = ""  with get, set
    member val Color = "" with get, set
 
type RabbidX() = 
    member val Name = ""  with get, set
    member val Tail = false with get, set
 
type Animal = 
    | Horse   of HorseX
    | Rabbid  of RabbidX
    | Horse2  of HorseX2
    | Horse3  of HorseX3
 
.....
 
for item in shitList do
    match item with
    | Rabbid _ -> ()
    | Horse2 _ -> ()
    | Horse3 _ -> ()
    | Horse horse -> if horse.Name = "Кешик" then horse.Color <- "black"

коротко и ясно, без размазывания логики по 100500 классам и файлам

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

Кстати, нифига себе вышла разница между FOREACH и FOR

это не прямая разница. кол-во итераций разное

@Usaga · 14.06.2017, 07:18

pycture, а можно сравнить с кодом на C#? Я просто хз про F#, может компилятор тут свою двойную диспетчеризацию добавляет, с блекджеком и плюхами или ещё какую оптимизацию:

F#
1
2
3
4
5
6
for item in shitList do
    match item with
    | Rabbid _ -> ()
    | Horse2 _ -> ()
    | Horse3 _ -> ()
    | Horse horse -> if horse.Name = "Кешик" then horse.Color <- "black"

Хотелось бы в рамках одного языка сравнить.

@pycture · 14.06.2017, 07:45

Сообщение от Usaga

тут свою двойную диспетчеризацию добавляет

грубо в базовый класс (Animal) добавляется (int tag). match являет собой оптимизирующую стейт машину, которая проверяет этот tag. если tag совпал с искомым, то тип тупо и явно кастится (без is) к требуемому. никаких мета данных и виртуальных вызовов.

приведенный код в 20 строк (если смотеть через ilspy), развертывается в какойто ад на c# размером в 1000 строк.

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

Кликните здесь для просмотра всего текста

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
do
                {
                    Program.Animal animal = shitList[item];
                    switch (animal.Tag)
                    {
                    case 0:
                    {
                        Program.Animal.Horse horse2 = (Program.Animal.Horse)animal;
                        Program.HorseX horse = horse2.item;
                        if (string.Equals(horse.Name@, "Кешик"))
                        {
                            horse.Color@ = "black";
                        }
                        break;
                    }
                    case 1:
                        IL_B1:
                        break;
                    case 2:
                        goto IL_EC;
                    case 3:
                        goto IL_EC;
                    }
                    goto IL_B1;
                    IL_EC:
                    item++;
                }
                while (item != num + 1);

@Usaga · 14.06.2017, 08:07

Сообщение от pycture

то тип тупо и явно кастится (без is) к требуемому. никаких мета данных и виртуальных вызовов

Мне так кажется, что если оно крутится на CLR, то при касте обязательно будет проверка на соответствие типов и, соответственно, заглядывание в метаданные. Я могу ошибаться и в F# всё по-своему может быть, поправьте, если неправ.

То, что получилось кардинально отличается от варианта, что рассматривал ТС: пачка IF A IS B ELSE и просто реализует идею со свойством-признаком в общем, базовом классе, что я изначально предложил.

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

Но сравнение вышло интересным.

Добавлено через 3 минуты
Собственно, всю картину портит это:

C#
1
Program.Animal.Horse horse2 = (Program.Animal.Horse)animal;

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

Сообщение от Usaga

Я могу ошибаться и в F# всё по-своему может быть, поправьте, если неправ.

Я гоню: проверку будет делать CRL, компилятор и язык тут не причём.

Новые блоги и статьи Все статьи Все блоги /
Нейтральные знания ..., ... чистая наука. Пока что-то проходит модерацию на Хабре, стоит развить мысль ... Hrethgir 20.07.2026 К таким радикальным взглядам я конечно в той публикации не приходил, но чтобы скоротать вечер, решил углубиться немного. 1. Почему показания термометра заряжены целью? Цель заложена в самом. . .	Установка нескольких штампов электронной подписи в строго определенных местах файла docx ВладимирСамохин 19.07.2026 (В!) Работа с Электронной подписью - это неотъемлемая часть современного документооборота. Но что делать, если нужно поставить несколько штампов электронной подписи в строго определенных местах. . .	сукцессия 35. Научная статья о проделанной работе anaschu 19.07.2026 Написал в формате латекс и пдф	Вангую, что это не пройдёт модерацию, и на неделе я запущу свой сервер. Hrethgir 19.07.2026 Эта публикация сейчас в песочнице и ждёт приглашения. https:/ / habr. com/ ru/ sandbox/ 295048/ По ссылке 403. Не очень информативно такую ссылку постить. Запись от Usaga размещена Сегодня в 06:46 . . .
сукцессия 33. открытые вопросы от клауде anaschu 19.07.2026 "Что накопилось за эту часть А — тринадцать правок, из которых шесть пришли из ваших вопросов и каждая оказалась реальной ошибкой, а не калибровкой: односторонний симбиоз, отсутствующий листопад,. . .	32 сукцессия anaschu 19.07.2026 сукцессия 28‑мерное ядро стабилизировано Коллеги, фиксирую разбор инженерных правок и их изоморфную проекцию на экономику, меметику и половой отбор. Модель теперь не «подкручивает» сходимость —. . .	сукцессия 31: модель микоризы - это модель ещё нескольких явлений, социальных и экономических anaschu 18.07.2026 Теория «Всего»: апдейт v1. 1. 2 — 28‑мерное ядро стабилизировано Коллеги, фиксирую разбор инженерных правок и их изоморфную проекцию на экономику, меметику и половой отбор. Модель теперь не. . .	сукцессия 30. Массив проверяющих друг друга моделей anaschu 18.07.2026 Архитектура сети взаимопроверяющих моделей микоризной сукцессии (v2. 0) Развитие тензорного ОДУ-ядра и создание кросс-платформенного калибровочного полигона Уважаемые коллеги! В продолжение. . .

Psilon Master of Orion 6102 / 4958 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	12.06.2017, 19:46
	skilllab, Миниатюры 0

@skilllab 296 / 236 / 58 Регистрация: 03.02.2011 Сообщений: 2,051 Записей в блоге: 1
	12.06.2017, 20:00 [ТС]
	Psilon, так вы case на типе сделайте. Так то понятно что всё гут. 0

@Usaga 14370 / 9471 / 1360 Регистрация: 21.01.2016 Сообщений: 35,739
	12.06.2017, 20:10
	Psilon, интересная оптимизация на скриншоте. 0

@pycture
	13.06.2017, 06:55
	Не по теме: Psilon, Кликните здесь для просмотра всего текста тред про ооп костыли для жуткой (да еще и медленной) эмуляции адт. как я и говорил c# для работы с данными не предназначен :) 0

@Usaga 14370 / 9471 / 1360 Регистрация: 21.01.2016 Сообщений: 35,739
	13.06.2017, 06:58
	pycture, эм, что именно тут жуткое и тормозное?.. 0

@Usaga 14370 / 9471 / 1360 Регистрация: 21.01.2016 Сообщений: 35,739
	13.06.2017, 14:23
	pycture, замените в том коде `foreach` на `for`, может результаты выровняются 0

@Usaga 14370 / 9471 / 1360 Регистрация: 21.01.2016 Сообщений: 35,739
	13.06.2017, 14:33
	pycture, нет, вы не поняли, уберите только в примере с Visitor. Можно посмотреть, как вы сравнивали? 0

@Usaga 14370 / 9471 / 1360 Регистрация: 21.01.2016 Сообщений: 35,739
	14.06.2017, 06:29
	pycture, я имел в виду увидеть ваш вариант использования "АДТ". Сколько возможных типов проверялось? Один, пять, десять? Это ведь тоже важно. Добавлено через 1 минуту Не по теме: Кстати, нифига себе вышла разница между `FOREACH` и `FOR` :) 0