Наступні правила визначають метод реалізації для операції.
Якщо параметр expression. Тип або type має визначений користувачем тип, який визначає оператор явного або неявного перетворення MethodInfo представляє оператор є методом реалізації.
В іншому випадку:
Якщо обидва expression. Тип і type представляють числові або логічні типи і типи перерахування, допускає значення NULL або які допускають значення NULL, метод реалізації буде null.
Якщо параметр expression. Тип або type є посилальним типом і явна упаковка, розпакування або існує перетворення посилання з expression. Тип type. реалізація методу null.
Якщо метод реалізації не null.
Якщо expression. Type призначається типу аргументу методу реалізації та типом значення, що повертається методу реалізації призначається параметру type. вузол не ліквідується.
Якщо один або обидва з expression. Тип або type є типом значення, що допускають NULL і і відповідні типи значень, які не допускають значення NULL, рівні типу аргументу і типом значення, що повертається методу реалізації відповідно, вузол видаляється.
Якщо метод реалізації null.
Якщо обидва expression. Тип і type є допускати значення NULL, вузол не ліквідується.
В іншому випадку вузол ліквідується.