Как в .net рациональной всего писать такой код:

void func(Obj o){
    assert(o != null);
    ...
}

что бы во время компиляции, если вызов функции будет такой:

func(null);

вылетел красный варнинг в Output, что так вызывать данную функцию нельзя,
а в /Release моде все ассерты в msil были убраны.

Здравствуйте, _ichensky, Вы писали:

_>Как в .net рациональной всего писать такой код:

_>вылетел красный варнинг в Output, что так вызывать данную функцию нельзя,
_>а в /Release моде все ассерты в msil были убраны.
Решарпер + [NotNull] или самому писать проверку рослина (начать с примера отсюда, по аналогии с проверкой на make constant или вот отсюда).

Здравствуйте, _ichensky, Вы писали:

_>Как в .net рациональной всего писать такой код:
_>

_>void func(Obj o){
_>    assert(o != null);
_>    ...
_>}
_>

_>а в /Release моде все ассерты в msil были убраны.

если в продакшене вываливается NullReferenceException, что обычно и бывает при игноре наллов, то обычно лид вешается на витой паре делает себе сепукку

Здравствуйте, _ichensky, Вы писали:

_>что бы во время компиляции, если вызов функции будет такой:
_>

_>func(null);
_>

_>вылетел красный варнинг в Output, что так вызывать данную функцию нельзя,
_>а в /Release моде все ассерты в msil были убраны.

Смотрите в ConditionalAttribute

Здравствуйте, _ichensky, Вы писали:

_>вылетел красный варнинг в Output, что так вызывать данную функцию нельзя,
_>а в /Release моде все ассерты в msil были убраны.

Debug.Assert(arg != null);

В релизе его не будет.

Здравствуйте, VladCore, Вы писали:

VC>если в продакшене вываливается NullReferenceException, что обычно и бывает при игноре наллов

ТС не предлагает их игнорить.

Проверять аргументы обязательно только для публичных или защищённых мемберов, для приватных же достаточно Debug.Assert + тестирование инвариантов.

Здравствуйте, vdimas, Вы писали:

V>

Debug.Assert(arg != null);

Оно как бы и да, но с учётом

что бы во время компиляции ... вылетел красный варнинг

как бы и нет

Здравствуйте, vdimas, Вы писали:

VC>>если в продакшене вываливается NullReferenceException, что обычно и бывает при игноре наллов

V>ТС не предлагает их игнорить.

не может быть!

_>а в /Release моде все ассерты в msil были убраны.

Здравствуйте, VladCore, Вы писали:

VC>не может быть!
VC>

_>>а в /Release моде все ассерты в msil были убраны.

Это ничему не противоречит с учетом вырезанного тобой:

Проверять аргументы обязательно только для публичных или защищённых мемберов, для приватных же достаточно Debug.Assert + тестирование инвариантов.

Рантайм-проверка аргументов приватных методов ПОСЛЕ факта вызова этого метода с неверными аргументами — это роспись в слабоумии, ИМХО.

Здравствуйте, Sinix, Вы писали:

S>Оно как бы и да, но с учётом
S>

S>что бы во время компиляции ... вылетел красный варнинг

S>как бы и нет

уупс, не обратил внимание на "компиляцию".

Всё-равно фигня. Даже с учетом имеющихся или самописных тулзин, в общем случае требуется аналог чего-то вроде constexpr для нынешнего С++, т.к. если значение аргумента вычислимое, то всё не так просто.