Напомню только что if элементарно реализуется через виртуальные функции: в Smalltalk он именно так и реализован:

Там есть класс bool с методами ifTrue и ifFalse, которые вычисляют значение своего параметра. И наследники этого класса с инстансами true и false с соответствующей реализацией этих методов :)))