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

S>То есть мы отлавливаем ошибку отсутствия if(hasRisk) выше по стеку?
S>Да, изобразить это без буста не удастся. Впрочем, полезность этой процедуры не больше нуля. Забыть сделать проверку выше по стеку ничуть не более вероятно, чем забыть сделать проверку прямо в этой функции. Поэтому в результате мы имеем программу, в которой написаны две проверки на наличие риска — одна статическая на шаблонах, а другая — рантайм.
S>Ну, либо программист забыл добавить первую из них, и компилятор ничем ему не помог.

Забыть проверку PROP_IF выше по стеку нельзя, будет ошибка компиляции.