IC
Size: a a a
2020 February 26
VS
А как в атрибуте поля указать метод? Тот же nameof получается, который ещё и не в том месте)
чо? ты вопрос-то свой перечитай
IC
чо? ты вопрос-то свой перечитай
Перечитал. Я вешаю атрибут на поле, как ты и предлагаешь. Как мне указать метод в этом атрибуте?
VS
я как это вижу из того же примера: пацаны не научили нулабилити анализатор выуживать какие поля инициализирует метод и предлагает костыли с nameof
Dv
я как это вижу из того же примера: пацаны не научили нулабилити анализатор выуживать какие поля инициализирует метод и предлагает костыли с nameof
Это контракт метода. Например, он может быть в ref asm, когда у тебя тело метода вообще недоступно.
Dv
Или ты хочешь, чтобы компилятор просто сам это всё учитывал и навешивал атрибуты на этапе, когда он таки знает тело метода?
VS
Или ты хочешь, чтобы компилятор просто сам это всё учитывал и навешивал атрибуты на этапе, когда он таки знает тело метода?
проблема такого дизайна в том, что у тебя получается еще одно метапрограммирование, к сожалению
Dv
проблема такого дизайна в том, что у тебя получается еще одно метапрограммирование, к сожалению
Да, получается.
VS
ты пишешь метод, а контракт описываешь отдельно другими средствами языка
Dv
Я не уверен, что это плохо.
Dv
Ну, для пользователя такого API это точно хорошо.
Dv
Да, ему было бы хорошо и если бы компилятор сам это всё угадывал :)
Dv
Однако, вот такие вот странные контракты для не вполне связанных частей системы ему может быть угадать сложно. У меня нет решения этой проблемы.
VS
Однако, вот такие вот странные контракты для не вполне связанных частей системы ему может быть угадать сложно. У меня нет решения этой проблемы.
Ну вообще ms contracts (кажется так это называлось) был неплохим решением кмк
Dv
Ну вообще ms contracts (кажется так это называлось) был неплохим решением кмк
Contract annotations ты имеешь в виду, и они были так себе.
Dv
Рантайм-проверки, неудобный и непортабельный тулинг.
VS
Рантайм-проверки, неудобный и непортабельный тулинг.
Я имел ввиду концепцию, что контракты ты мог описать отдельно со своим дсл, где есть тайпчекинг и все дела
Dv
Основная проблема в том, что они были изобретены в донеткорную эпоху. Делали бы сегодня — наверняка смогли бы сделать нормально, и интегрировали бы в рослин.