Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > .NET для новичков > Почему запечатывать можно только методы и свойства

Автор: Gunslinger 23.8.2010, 08:27

В мсдн пишут, что запечатывать можно только классы, свойства и методы. Какие причины? Например, если я запечатаю класс, в котором будут индексаторы и\или события?

Автор: azesmcar 23.8.2010, 08:31

Цитата(Gunslinger @ 23.8.2010, 08:27

)

запечатывать

если ты это про серилизацию, то объясни что означает серилизация индексатора?

Автор: jonie 23.8.2010, 08:47

azesmcar, думаю речь про sealed спецификатор

Автор: azesmcar 23.8.2010, 08:54

Цитата(jonie @ 23.8.2010, 08:47

)

azesmcar, думаю речь про sealed спецификатор

эээ..тогда я вообще не понимаю вопроса.
хотя и до этого не особо понятно было smile

Автор: mrbrooks 23.8.2010, 09:03

Цитата(jonie @ 23.8.2010, 09:47

)

azesmcar, думаю речь про sealed спецификатор

хы. а почему такой вывод камрад?

Автор: Gunslinger 23.8.2010, 09:03

Цитата(azesmcar @ 23.8.2010, 08:31

)

если ты это про серилизацию

да, я про sealed. Думал запечатать=sealed=запрет наследования\переопределения в наследнике.
Кусок мсдн:
Модификатор sealed можно использовать для метода или свойства, которое переопределяет виртуальный метод или свойство в базовом классе.

но sealed можно и не к virtual методам,свойствам применить.

Автор: mrbrooks 23.8.2010, 09:04

Gunslinger, сам переводишь документацию?

Автор: Gunslinger 23.8.2010, 09:06

Цитата(mrbrooks @ 23.8.2010, 09:04

)

Gunslinger, сам переводишь документацию?

не, ее уже перевели smile

Автор: ДобренькийПапаша 23.8.2010, 09:06

Цитата(Gunslinger @ 23.8.2010, 08:27)

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

Кстати, Трэй Нэш рекомендует всегда по умолчанию объявлять класс как sealed (ещё говорят не запечатанный, а герметезированный).

Автор: azesmcar 23.8.2010, 09:07

Цитата(Gunslinger @ 23.8.2010, 09:03

)

да, я про sealed. Думал запечатать=sealed=запрет наследования.

а с чего ты решил, что selaed не применяется к индексаторам?

Добавлено через 50 секунд
http://msdn.microsoft.com/en-us/library/aa664459(VS.71).aspx

Добавлено через 2 минуты и 7 секунд
держи пример

Код


class A
{
    virtual public int this[int x]
    {
        get { return 10; }
    }
}

class B : A
{
    sealed override public int this[int x]
    {
        get { return 20; }
    }
}

class C : B
{
    override public int this[int x]
    {
        get { return 30; }
    }
}

Автор: mrbrooks 23.8.2010, 09:10

Цитата(Gunslinger @ 23.8.2010, 10:06

)

не, ее уже перевели

да я так и понял. просто пока писал, ты уже на это намекнул. smile

Цитата(mrbrooks @ 23.8.2010, 10:03

)

хы. а почему такой вывод камрад?

вопрос снимаю.

тогда по сабжу - неужели не хватает разъяснения в документации? smile

Добавлено через 1 минуту и 4 секунды

Цитата(ДобренькийПапаша @ 23.8.2010, 10:06

)

Кстати, Трэй Нэш рекомендует

не только он.

Автор: Gunslinger 23.8.2010, 10:15

"С# 2008 для профессионалов. Платформа Net 3.5"
и
http://msdn.microsoft.com/ru-ru/library/88c54tsw.aspx
Сказано, что sealed может быть использован для методов, свойств, классов. Про индексаторы, события, операторы и тд. ни слова.
Причем в отношении методов и свойств sealed может использоваться только в сочетании с override. Для свойств,методов sealed значит,что их нельзя переопределить в наследнике. Тогда:

Код


class A
{
   virtual void F() { Console.WriteLine("class A") };
}
class B : A
{
   sealed override void F() { Console.WriteLine("class B") };
}

Метод F() класса B нельзя переопределить, если мы захотим наследовать от B. Какой в этом смыл? Т.е. F() уже становится "обычным", не виртуальным методом - его и так уже нельзя будет переопределить в наследнике от B.

Автор: KelTron 23.8.2010, 11:30

Цитата(Gunslinger @ 23.8.2010, 10:15

)

Но если объявляю запечатанным сам класс, то вручную все его содержимое должен пометить как sealed?

Нет

Цитата(Gunslinger @ 23.8.2010, 10:15

)

В той же книге тоже упоминаются только методы и свойства.

Индексатор это свойство

Автор: diadiavova 23.8.2010, 11:30

Цитата(Gunslinger @ 23.8.2010, 11:15

)

Но если объявляю запечатанным сам класс, то вручную все его содержимое должен пометить как sealed?

Ты просто не сможешь его унаследовать, компилятор будет матюгаццо.

Цитата(Gunslinger @ 23.8.2010, 11:15

)

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

Индексаторы - это тоже свойства, только с параметрами.

Автор: Gunslinger 23.8.2010, 11:47

Пока переписывал пост ответили. Значит про индексаторы не написано, потомуч то это тоже свойство. В итоге запечатать можно только свойство, индексатор, метод и класс?

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

Автор: ДобренькийПапаша 23.8.2010, 16:35

Цитата(Gunslinger @ 23.8.2010, 10:15

)

Какой в этом смыл? Т.е. F() уже становится "обычным", не виртуальным методом - его и так уже нельзя будет переопределить в наследнике от B.

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

Код


class cl
        {
            public virtual void AnMethod()
            {
                return;
            }
        }
        class AnClass:cl
        {
            public override void AnMethod()
            {
                return;
            }
        }

        class Derived : AnClass
        {
            public override void AnMethod()           //Можно переопределить
            {
                return;
            }
        }

Код


class cl
        {
            public virtual void AnMethod()
            {
                return;
            }
        }
        class AnClass:cl
        {
            public override sealed void AnMethod()
            {
                return;
            }
        }

        class Derived : AnClass
        {
            public override void AnMethod()      //Error    1: cannot override inherited member AnClass.AnMethod() because it is sealed
            {
                return;
            }
        }

Автор: Gunslinger 23.8.2010, 17:25

Цитата(ДобренькийПапаша @ 23.8.2010, 16:35

)

sealed в наследнике указываем, чтобы, опять же, явно сказать, что в следующем наследнике по иерархии этот метод нельзя переопределить.

То есть переопределенный метод так же и виртуальный по умолчанию?
Виртуальными методы делают,чтобы единообразно работать с объектами различных классов-наследников одного и того же базового класса. Зачем делать так: "в следующем наследнике по иерархии этот метод нельзя переопределить", когда можно унаследоваться от самого базового класса - cl? Только если нужно все содержимое промежуточного класса (AnClass)? Вроде изменить функционал, не копируя вручную содержимое существующего класса? Например:
Car, Mazda : Car, Mazda2 : Mazda?

Автор: ДобренькийПапаша 23.8.2010, 19:10

Цитата(Gunslinger @ 23.8.2010, 17:25

)

То есть переопределенный метод так же и виртуальный по умолчанию?

Да.

Цитата(Gunslinger @ 23.8.2010, 17:25

)

Зачем делать так: "в следующем наследнике по иерархии этот метод нельзя переопределить", когда можно унаследоваться от самого базового класса - cl?

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

Автор: Gunslinger 24.8.2010, 12:37

Цитата(ДобренькийПапаша @ 23.8.2010, 19:10

)

Цитата(Gunslinger @ 23.8.2010, 17:25 Найти цитируемый пост)
То есть переопределенный метод так же и виртуальный по умолчанию?
Да.

Прикольная фишка. В с++ о такой, кажется, не было - в учебниках не встречал. Эта фишка только си шарпа или общая у языков со сборщиком мусора и байт-кодом, как, например, словари и списки?

Цитата(diadiavova @ 23.8.2010, 11:30

)

Ты просто не сможешь его унаследовать, компилятор будет матюгаццо.

Цитата(KelTron @ 23.8.2010, 11:30

)

Индексатор это свойство

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

Автор: KelTron 24.8.2010, 13:21

Цитата(Gunslinger @ 24.8.2010, 12:37

)

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

Оператор - если ты имеешь в виду перегрузку операторов - реализуется в виде функции. Делегат это класс.
http://msdn.microsoft.com/ru-ru/library/900fyy8e.aspx

Цитата

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

Ключевое слово event просто синтаксический сахар, чтобы меньше писать.

http://forum.vingrad.ru/forum/topic-73975.html
http://dev4food.ru/2010/02/kovarnyj-vopros-po-eventdelegate/

Автор: diadiavova 24.8.2010, 14:12

Цитата(Gunslinger @ 24.8.2010, 13:37

)

Но если под свойствами подразумевались и индексаторы

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

Цитата(Gunslinger @ 24.8.2010, 13:37

)

события

События вполне могут быть виртуальными
http://msdn.microsoft.com/ru-ru/library/8627sbea.aspx

Цитата(Gunslinger @ 24.8.2010, 13:37

)

операторы

Автор: Gunslinger 25.8.2010, 12:29

ок.