なぜboost :: ice_orを||の代わりに使うのですか？ enable_ifの&&の代わりにboost :: ice_andを使用しますか？

Question

質問によれば、人々が通常の条件文よりも構造バージョンを使用する理由はありますか？

Answer 1

Boost Coding Guidelines for Integral Constant Expressionsからの抜粋：

整数定数式に論理演算子を使用しないでください。代わりにテンプレートのメタプログラミングを使用してください。

ヘッダは、例えば、論理演算子の役割を果たし、回避策テンプレートの数が含ま代わりに：

INTEGRAL_CONSTANT1 || INTEGRAL_CONSTANT2

使用：

::boost::type_traits::ice_or<INTEGRAL_CONSTANT1,INTEGRAL_CONSTANT2>::value

理由：多くのコンパイラ（特にBorlandコンパイラとMicrosoftコンパイラ）は、論理演算子を含む整数定数式を本物の整数定数式として認識しない傾向があります。この問題は一般に、整数定数式がテンプレートコードの深くにネストされ、再現と診断が難しい場合にのみ表示されます。

私は決して準拠したコンパイラではないと言います。 （しかし、準拠していないコンパイラをサポートする必要がある場合は、それを使用してください）