Если в текущем классе создать экземпляр текущего же класса, то можно вызвать закрытый метод вновь созданного экземпляра.

Ведь я же вызываю не метод текущего экземпляра, а метод нового экземпляра.

http://stackoverflow.com/questions/6983553/why-are-private-fields-private-to-the-type-not-the-instance

http://stackoverflow.com/questions/13195891/why-can-i-call-a-private-method-of-another-instance-of-the-same-type-outside-of

Гугл

Просто втретилось тут "5 лет пишу на C# и не знал об этом". Сам тоже попробовал написать вызов закрытого метода внутри этого же метода из другого экземпляра - и получилось. Я удивился.

Почему-то всегда казалось, что ограничение доступа распространяется и на экземпляры типа, а не только на сами типы - ну, по принципу, что сущность "тип" является надсущностью "экземпляр" и вроде как должна наследовать её свойства, если рассуждать логически.

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

Алексей КSmith27Я удивился.Я бы удивился, если бы это было не так.
Меня всегда удивляли люди, которые, узнав что-то реально новое для себя, говорят, что они и так всегда это знали - это же, мол, очевидно. Ну вроде как всю жизнь проходишь на работу и с работы мимо чего-нибудь, а потом - РАЗ! - и только сейчас заметил какую-нибудь деталь.

Для меня, например, неочевидно было, что корова, чтобы давать молоко, должна быть всегда беременна или находиться на этапе кормления телёнка. В детстве всегда пил молоко парное. Сам, естественно, не доил. Знал только, что оно из вымени берётся, но как оно там оказывается и при каких условиях - не знал. Почему-то казалось, что корова ВСЕГДА должна давать молоко, и без всяких беременностей - уж такое она животное. Несмотря на все оговорки, что она млекопитающее, и аналогии с женщинами. )))

Из разряда невероятное-очевидное.

kmawа еще в классе можно вызывать статические методы без указания имени класса



Вот это как раз для меня было овечидно.

Алексей КSmith27пропущено...

Меня всегда удивляли люди, которые, узнав что-то реально новое для себя , говорят, что они и так всегда это знали - это же, мол, очевидно. Ну вроде как всю жизнь проходишь на работу и с работы мимо чего-нибудь, а потом - РАЗ! - и только сейчас заметил какую-нибудь деталь.С чего ты взял, что в этом топике я узнал что-то новое?
Да я не про тебя конкретно, а вообще. Есть такие люди.

Ведь ещё 500 лет назад, или сколько там, всем было очевидно, что земля плоская и солнце вращается вокруг неё. Потому что в большинстве повседневных случаев земля и солнце именно так себя и вели. Доказать обратное можно было лишь очень редкими специальными случаями.

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

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

Интересно, кто-нибудь из неджуниоров на форуме скажет, что для него это было что-то новое?

Вообще, в приведённых мной ссылках немало людей на вопрос "почему?" отвечают "потому что потому". - "Потому что создатели языка так захотели".

Тут вот в чём штука. Фразу, что ограничение доступа распространяется на типы, НО НЕ НА ЭКЗЕМПЛЯРЫ ТИПОВ, я либо не встречал в явном виде, либо забыл. Явное указание, что это не распространяется на экземпляры типов я не нашёл (может, показет кто в спецификации?). А исходя из логических рассуждений, я перенёс свойства более всеобъемлющей сущности на менее всеобъемлющую. А оказалось, что НЕ НАДО РАССУЖДАТЬ, НАДО ТУПО СЛЕДОВАТЬ ЛОГИКЕ СОЗДАТЕЛЕЙ ЯЗЫКА.

Т. е. если пытаться вывести некоторые свойства языка программирования логически, то очень часто будешь ошибаться, т. к. многие логические концепции принесены в жертву текущему моменту - удобству написания, отладки и т. п. Это я не о конкретных примерах щас и не о С# конкретно, а вообще. Ну, встречаются такие ситуации, когда ВРЕДНО ЛОГИЧЕСКИ МЫСЛИТЬ - НАДО ТУПО ЗАПОМИНАТЬ НЕЛОГИЧЕСКОЕ.

skyANAО чём топик? Открыли для себя что-то новое в языке, пойдите что-ли спецификацию почитайте:

private (C# Reference) и 3.5 Member access

Там нет нигде явного указания, что это распространяется на тип, НО НЕ НА ЭКЗЕМПЛЯР.

Я привык, что в Америке разрешено всё, что не запрещено. А тут получается СССР - запрещено всё, что не разрешено. Ну, это шутки такие раньше были.

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

Алексей КSmith27Можно джуниорам такие вопросы задавать на собеседованиях. ))Такие вопросы на собеседованиях задавать не надо. Это вопрос, скорее, для передачи "Что. Где. Когда."
Я ссылки привёл на SO - там как минимум один комментарий сразу заметил от человека с 5-летним стажем работы, что он этого не знал.

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

Алексей КSmith27А ты, наверное, очень часто с этим встречаешься?Нет, но я знаю, что в документации пишут по этому поводу. Там ни слова про экземпляры.
авторДоступ к закрытым членам можно получить только внутри тела класса или структуры, в которой они объявлены. Вложенные типы в том же теле могут также обращаться к таким закрытым членам.
Вот именно, что ни слова.

Ну признайся же, что ты сначала попробовал написать код, удивился, а потом просто запомнил, что ИМЕННО ВОТ ТАК - МОЖНО, хотя "там ни слова про экземпляры". Может, это было давно и ты подзабыл?

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




То есть по Вашему для того, что внутри метода Go должны быть одни правила, а для Equals другие?
Я вообще чем больше живу, тем меньше в чём-нибудь уверен.

Я щас не помню и свой код не найду - я, вроде, всего несколько раз переопределял Equals, и было это давно. А что, если бы id было полем с публичным доступом?

Smith27kmawа еще в классе можно вызывать статические методы без указания имени класса



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

Нет, ну вот смотрите

http://stackoverflow.com/a/6983855

Чел со многими тысячами очков репутации, пишет, что "он думает" - "I think one reason it works this way is because access modifiers work at compile time". Т. е. докагаться догически до этой штуки трудно - логически как раз вытекает, что доступ должен быть ограничен и на уровне экземпляров. Т. е. надо, чтоб прямо сказали на такое свойство, а начнёшь логически думать - попадёшь в ловушку.

Я в такие ловушки не только в программировании попадал. Все эти формальные логики, созданные человеком, всегда внутренне где-то противоречивы и "читерят".

Алексей КSmith27И вообще, насколько я знаю, на собеседованиях именно подобные вопросы и любят задавать новичкам - выдают список задачек, где сплошь именно такие случаи.Ну мы ведь не обязаны соглашаться с устроителями этих собеседований. У нас есть собственное мнение, не так ли? :-)
Вот это ваше, и вот это моё:

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

Интересно, компилятор C# открыт? Ведь именно в нём находится НАСТОЯЩАЯ спецификация, а то, что текстом выкладывают - всего лишь приближение к ней.

Кстати, ошибки в спецификациях уже не раз находили, так что, так что...

skyANAАлексей Кпропущено...
Такие вопросы на собеседованиях задавать не надо. Это вопрос, скорее, для передачи "Что. Где. Когда."Почему не надо? Судя по автору такой вопрос поможет выяснить на каком уровне у соискателя логика. :)
Ну я понимаю, что вы хотите меня унизить. Да я и не спорю - логика у меня не на высоте. У меня и IQ где-то около 80-90 - по нынешним меркам, где-то на уровне подростка.

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

Алексей КSmith27А ты, наверное, очень часто с этим встречаешься?Нет, но я знаю, что в документации пишут по этому поводу. Там ни слова про экземпляры.
авторДоступ к закрытым членам можно получить только внутри тела класса или структуры, в которой они объявлены. Вложенные типы в том же теле могут также обращаться к таким закрытым членам.
Вот здесь согласен, это я упустил.

Ладно, спишем на мои "игры разума". ))

skyANAАлексей Кпропущено...
Такие вопросы на собеседованиях задавать не надо. Это вопрос, скорее, для передачи "Что. Где. Когда."Почему не надо? Судя по автору такой вопрос поможет выяснить на каком уровне у соискателя логика. :)
А ты позадавай. Потом бы рассказал статистику - кто этого не знает. Включая тех, кто на сеньоров претендует.

Алексей КskyANAпропущено...
Почему не надо? Судя по автору такой вопрос поможет выяснить на каком уровне у соискателя логика. :)Ну может быть, главное не зацикливаться на подобного рода краевых эффектах. :-)
Я снова не понял. Это "краевой эффект" или "очевидная вещь"?

Smith27Алексей Кпропущено...
Ну может быть, главное не зацикливаться на подобного рода краевых эффектах. :-)
Я снова не понял. Это "краевой эффект" или "очевидная вещь"?
"Я, конечно, интуитивно догадываюсь, но хотелось бы уточнить"

[spoiler]

skyANASmith27Нет, ну вот смотрите

http://stackoverflow.com/a/6983855

Чел со многими тысячами очков репутации, пишет, что "он думает" - "I think one reason it works this way is because access modifiers work at compile time". Т. е. докагаться догически до этой штуки трудно - логически как раз вытекает, что доступ должен быть ограничен и на уровне экземпляров. Т. е. надо, чтоб прямо сказали на такое свойство, а начнёшь логически думать - попадёшь в ловушку.

Я в такие ловушки не только в программировании попадал. Все эти формальные логики, созданные человеком, всегда внутренне где-то противоречивы и "читерят".Это у Вас психотип такой. Сомневаетесь, не уверены, все подвергаете сомнению и скептике, путаетесь в рассуждениях.

Вам надо какое-то количество времени, чтобы поразмышлять спокойно над проблемой.
Я, кажется, понял - то, что привёл АлексейК, там явно написано, как оно обстоит. Но потом я слишком много читал общей информации про области доступа и начал забывать и путать частные утверждения.

По-моему, мне надо больше практики - вот этих вот ваших Equals попереопределять с закрытыми полями, по которым проверка идёт, и т. п.

Алексей КSmith27, такой код тоже компилироваться не должен?


Хороший вопрос для собеседования!

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

...ваш код

C c = this;
c.V++;

эквивалентен этому

this.V++;

Тогда должен скомпилироваться даже по моей прежней логике.

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

skyANASmith27пропущено...

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

Наверняка что все, кто проектировал свою доменную модель и переопределял Equals, знают :)
Ну да, ещё интересно, как будет реагировать - сразу напишет ответ, или задумается. Если задумается - значит, сомневается и мало такого писал-встречал.

Ладно, спасибо, что поучавствовали в моих играх разума. Одному бы мне пришлось много пить или долго спать.

Shocker.ProAntonariyпропущено...
все об этом знают.я знал - в справочнике Албахари по С# это было написано прямым текстом.
Это этот Албахари? Я сейчас читаю про потоки - неплохо у него написано.