Непрозрачный предикат - Opaque predicate

В компьютерное программирование, непрозрачный предикат это предикат - выражение, которое принимает значение «истина» или «ложь», результат которого известен программисту априори, но который по разным причинам все еще требует оценки на время выполнения. Непрозрачные предикаты использовались как водяные знаки, поскольку они будут идентифицированы в исполняемом файле программы. Их также можно использовать для предотвращения чрезмерного усердия. оптимизатор от оптимизации части программы. Другое использование в запутывающий то контроль или же поток данных программы сделать разобрать механизм с целью понять, как это работает Сильнее.

внешняя ссылка