Чем плохо проверять аргумент функции на допустимые значения внутри функции?

Question

[Zellily]

Я пишу что-то типа самодельного драйвера для работы с некоторым устройством. В качестве аргумента функции передаю делитель частоты. Делитель должен быть чётным. Поэтому внутри функции я проверяю, что аргумент делится на два, и если нет - выбрасываю ассёрт.
Начальник говорит, что это неправильно. Что надо либо передавать в функцию делитель, умноженный на два (тогда делить придётся лишний раз), либо завести отдельный enum под допустимые значения делителя (а их очень много, этих значений).

Чем плох ассёрт внутри такой функции?

Comments

[RedHairOnMyHead]

А у начальника спросить?

[Zellily]

RedHairOnMyHead: Интересно чужое мнение.

Answer 1

[res2001]

assert в драйвере - это как-то перебор.
Просто обнуляйте младший бит принудительно и будет у вас всегда четное число.
А в инструкции опишите, что значение приводится к ближайшему меньшему четному.
Для 1 байтового значения это будет так:
val & 0xfe

Comments

[Zellily]

Почему перебор? (я не так давно этим занимаюсь и мало знаю)

Интересное решение, спасибо :)

[res2001]

Zellily: представьте у вас драйвер будет падать из-за неправильного параметра. assert - это как раз аварийное завершение.

[Zellily]

res2001: Да, звучит логично.
Но у меня цель немножко другая - не заставить работать устройство любой ценой, а проверить, работает ли оно как положено.

Answer 2

[chupasaurus]

Вы заменяете условием то, что делается в два сдвига.

Comments

[Zellily]

Частоту задают при инициализации девайса. Меняют редко. Так что на скорость не повлияет. А у программиста, который использует эту функцию, не будет граблей в виде "ой, я забыл, что надо удвоенный делитель подавать было".

Answer 3

[Константин Цветков]

а проверить, работает ли оно как положено

Частоту задают при инициализации девайса. Меняют редко.

Так и нужно проверять частоту при настройке, что бы она могла делиться на чётное число, то есть была чётной. А с делителем не понятно: если это настройка — проверять, если нет — округлять.

Comments

[Zellily]

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

Answer 4

[Александр]

> В качестве аргумента функции передаю делитель частоты.
Функции.
Проверяете на входе параметры, если что-то не нравится - возвращаете -1, ничего не производя в функции.
int function foo (int bar) {
if (bar & 1) return -1;
NewFreq = bar;
retutn 0;
}

Comments

[Zellily]

Если честно, то это конструктор.

[Zellily]

Антон: Начальник любит ооп :)

[Zellily]

Антон: Он всегда смотрит в дизассемблере, что получилось :)