C#: Этюды, часть 2 / .NET / Хабрахабр

C#: Этюды, часть 2

Продолжение, начало здесь

Начну с соцопроса: какие Вы знаете способы выполнить код до начала функции Main() (надеюсь, что перечислят все известные мне и парочку неизвестных :) )?

А теперь задачка:

Перед Вами небольшой код, выводящий два символа (кстати, проверьте себя: в каком порядке они выведутся?). Необходимо вывести подчеркивание "_" между этими символами.
Конечно, задача была бы тривиальной без ограничений. А они следующие:

не определять другой метод Main

не использовать идентификатор Console в качестве имени класса, свойства, поля и т.д. (спасибо irc-юзеру Gopneg)

не изменять код всех существующих методов: App.Main, X.X, Y.Y

не изменять определение поля X.y

не добавлять новые поля в класс X

using System; class Y { public Y() { Console.Write("0"); } } class X { public X() { Console.Write("o"); } Y y = new Y(); } class App { static void Main() { X x = new X(); } } * This source code was highlighted with Source Code Highlighter.

Желаю удачи!

PS
итак, у нас два победителя: mace был первым и угадал авторское решение: http://habrahabr.ru/blogs/net/77039/#comment_2241079
а хабраюзер bobermaniac предложил способ элегантно обойти моё ограничение на переопределение Console: http://habrahabr.ru/blogs/net/77039/#comment_2241109

Кстати, вопрос о вызове кода до Main всё еще актуален! Пока предложен самый очевидный — статический конструктор класса.

PPS
Внезапно, еще одно решение предложил SHSE: http://habrahabr.ru/blogs/net/77039/#comment_2243183, причем основано оно на совсем других механизмах, но прекрасно работает! )

2 декабря 2009, 14:07

iaroshenko

комментарии (43)

bobermaniac 2 декабря 2009, 14:20 #

class App { static App() {/* код до Main */} static void Main() {}}

Это то, что сразу пришло в голову.

iaroshenko 2 декабря 2009, 14:24 # ↑

да, этот способ годится + есть много его вариаций )
может, еще какой-то знаете?

bobermaniac 2 декабря 2009, 14:27 # ↑

Больше никакого не знаю, в том плане, что никогда не задумывался над вопросом, как можно выполнить функцию до Main().

С другой стороны, возможностей должно быть достаточно много. Если покопаться — можно попробовать найти те вещи, которая инфраструктура .NET так или иначе запускает до Main() и привязаться к ним. Но это надо смотреть, чем я сейчас и занимаюсь.

mace 2 декабря 2009, 14:34 #

так?

using System; class Y { public Y() { Console.Write("0"); } } class X { private X(string s) { Console.Write(s); } public X() : this("_") { Console.Write("o"); } Y y = new Y(); } class App { static void Main() { X x = new X(); } } * This source code was highlighted with Source Code Highlighter.

mace 2 декабря 2009, 14:35 # ↑

Или так?

using System; class Y { public Y() { Console.Write("0"); } } class Z { public Z() { Console.Write("_"); } } class X : Z { public X() { Console.Write("o"); } Y y = new Y(); } class App { static void Main() { X x = new X(); } } * This source code was highlighted with Source Code Highlighter.

iaroshenko 2 декабря 2009, 14:44 # ↑

этот вариант правильный, предыдущий — нет, поскольку меняет код конструктора X.X

nullbie 2 декабря 2009, 14:54 # ↑

кстати технически наследование тоже меняет код конструктора — в IL между инициализаторами полей и телом конструктора вставится вызов конструктора базового класса.

iaroshenko 2 декабря 2009, 14:56 # ↑

спасибо за ремарку, но под кодом в данном случае (и всех остальных) я подразумеваю исключительно C#-код, если не сказано обратное

bobermaniac 2 декабря 2009, 14:44 # ↑

:this("_") — это вызов конструктора, в принципе равноценно изменению кода метода. Насколько я понял, по условию это не допустимо.

mace 2 декабря 2009, 14:45 # ↑

да, согласен. потому и написал второй вариант.

alek_sys 2 декабря 2009, 14:39 #

А инициализацию Y можно менять? На Y y = new Y("");?

iaroshenko 2 декабря 2009, 14:46 # ↑

по условию — нельзя

bobermaniac 2 декабря 2009, 14:42 #

В общем, у меня случился такой код. Он работает и решает именно эту задачу.

using System; using System.Threading; using System.IO; class Y { public Y() { Console.Write("0"); } } class X { public X() { Console.Write("o"); } Y y = new Y(); } class App { public class CustomWriter : TextWriter { private TextWriter c = null; public CustomWriter() { c = Console.Out; Console.SetOut(this); } public override System.Text.Encoding Encoding { get { return c.Encoding; } } public override void Write(object value) { c.Write(value); } public override void Write(string value) { c.Write(value); if (value == "0") c.Write("_"); } } static App() { Console.SetOut(new CustomWriter()); } static void Main() { X x = new X(); Console.ReadLine(); } } * This source code was highlighted with Source Code Highlighter.

iaroshenko 2 декабря 2009, 14:46 # ↑

да, можно принять как правильное ))
похоже, я недостаточно наложил ограничений на консольный вывод )

bobermaniac 2 декабря 2009, 14:47 # ↑

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

Но, в принципе, тут смотря что от задачи требуется. Мой код решает задачу, даже если накладывается ограничение на полную неизменность классов X и Y.

Meroving 2 декабря 2009, 15:03 # ↑

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

iaroshenko 2 декабря 2009, 15:09 # ↑

насчет сферического коня спорить не буду )
а смысл в такой задачке был в порядке вызова элементов — инициализатор производного типа, конструктор базового типа, конструктор производного типа. мне эта последовательность показалась неочевидной, на ней я и попытался построить задачку. то, что bobermaniac смог мои ограничения обойти — ему только в плюс, я считаю

wdk 2 декабря 2009, 15:19 #

Добавляем в конец
class MyApp
{
static void Main()
{
Console.Write(«0_o»);
}
}

и компилим с опцией /main:MyApp

iaroshenko 2 декабря 2009, 15:22 # ↑

первое ограничение запрещает определять еще один метод Main ;)

wdk 2 декабря 2009, 15:27 # ↑

Проглядел :(

mezastel 2 декабря 2009, 15:34 #

А можно мне тоже какой-нибудь «этюд» запостить?

iaroshenko 2 декабря 2009, 15:35 # ↑

буду только рад!

bobermaniac 2 декабря 2009, 15:59 #

А, кстати, о вызове когда до Main не поведаете?

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

iaroshenko 2 декабря 2009, 16:32 # ↑

вот ниже показали еще способ
ну и применим тот же способ, которым решается этюд
по сути в этом и заключался исходный этюд для канала #c# )

bobermaniac 2 декабря 2009, 16:35 # ↑

Ну такой вызов — это дурной тон. Код в конструкторе, да еще и эксепшн если вылетит, перехватить его не удастся. Жуть.

iaroshenko 2 декабря 2009, 16:52 # ↑

да, пожалуй
кстати, какого типа будет это неперехваченное исключение? )

bobermaniac 2 декабря 2009, 17:33 # ↑

TargetInvocationException, как и любое другое исключение, выкинутое из конструктора.

iaroshenko 2 декабря 2009, 17:40 # ↑

MSDN говорит о TargetInvocationException: The exception that is thrown by methods invoked through reflection

Здесь у нас нет рефлексии вроде бы. Давайте сформулирую четче: речь идет о коде habrahabr.ru/blogs/net/77039/#comment_2241555
какое исключение получится в результате, если конструктор Z.Z() бросит, скажем, NullReferenceException?

bobermaniac 2 декабря 2009, 19:04 # ↑

В таком случае NullReferenceException и вылетит.

iaroshenko 2 декабря 2009, 19:10 # ↑

нет )
NullReferenceException будет обернут внутрь другого исключения
убедитесь сами

bobermaniac 2 декабря 2009, 19:49 # ↑

Эмм…

class Test { public Test() { throw new ApplicationException(); } } class App { static void Main() { try { new Test(); } catch (Exception ex) { Console.WriteLine(ex.GetType().FullName); } Console.ReadLine(); } } * This source code was highlighted with Source Code Highlighter.

Выдает System.ApplicationException с полным стеком. Аналогично для NullReferenceException.

iaroshenko 2 декабря 2009, 19:59 # ↑

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

class Test { static Test() { throw new ApplicationException(); } } class App { static void Main() { Test test = new Test(); } } * This source code was highlighted with Source Code Highlighter.

обратите внимание на то, что конструктор статический

iaroshenko 2 декабря 2009, 16:32 # ↑

других, к сожалению, не знаю, но очень хочется узнать

iaroshenko 2 декабря 2009, 16:56 # ↑

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

plsc_Rover 2 декабря 2009, 16:18 #

Вот так вызовется до Main. Правда вставить "_" между Oо не получается пока.
class App
{
public static Z z = new Z();
static void Main()
{
X x = new X();
}
}

TIGERoX 2 декабря 2009, 19:21 #

class App
{
[AutoStart()]
static void Main()
{
}
}

public class AutoStartAttribute: Attribute
{
public AutoStartAttribute()
{
Console.Beep();
}
}

iaroshenko 2 декабря 2009, 19:33 # ↑

у меня не срабатывает, фреймворк 3.5 SP1
смотрите habrahabr.ru/blogs/net/77039/#comment_2241758
пользовательские атрибуты создаются, когда их запрашивают
можно было бы унаследовать атрибут, который запрашивает сама среда выполнения (InAttribute, STAThreadAttribute), но, похоже, все они sealed

TIGERoX 2 декабря 2009, 21:01 # ↑

Кхм, а у меня срабатывает, тоже SP1 3.5. По стеку видно, что internal код вызывает GetCustomAttributes… ну и в результате логичное создание экземпляра нашего атрибута

iaroshenko 2 декабря 2009, 21:09 # ↑

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

TIGERoX 2 декабря 2009, 23:08 # ↑

параметры дефолтные… я просто создал новый консольный проект

v3.5\Csc.exe /noconfig /nowarn:1701,1702 /errorreport:prompt /warn:4 /define:DEBUG;TRACE /reference:C:\WINDOWS\Microsoft.NET\Framework\v2.0.50727\System.dll /debug+ /debug:full /filealign:512 /optimize- /out:obj\Debug\ConsoleApplication2.exe /target:exe Program.cs Properties\AssemblyInfo.cs

iaroshenko 2 декабря 2009, 23:52 # ↑

ага, воспроизвел
такое поведение получается в случае, если пускать проект из-под студии по F5 (в режиме отладки). Попробуйте запустить в обычном режиме (Ctrl + F5), либо прямо из папки bin
я свои примеры кода компилирую обычно из командной строки, потому не сразу понял, в чем дело

SHSE 2 декабря 2009, 22:15 #

Ещё одно решение. Только если вставить Console.ReadLine() в Main, то работать не будет. Запускать нагляднее не из VS а из коммандной строки.

class Y { public Y() { Console.Write("0"); } } class X { public X() { Console.Write("o"); } Y y = new Y(); } class Z { ~Z() { Console.Write("\r0_o"); } } class App { static void Main() { X x = new X(); } static Z z = new Z(); } * This source code was highlighted with Source Code Highlighter.

iaroshenko 2 декабря 2009, 23:53 # ↑

да, тоже работает
все-таки ограничения стимулируют фантазию )

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

Языки программирования ↓

.NET