疎結合の暗黙的な変換 質問する

暗黙的な変換は、型が意味的に同等である場合に非常に役立ちます。たとえば、型をまったく同じように実装しているが、名前空間が異なる 2 つのライブラリを想像してください。または、あちこちに意味的な砂糖を除いてほとんど同一の型があるとします。この場合、その関数がテンプレートでない限り、一方の型をもう一方の型を使用するように設計された関数 (これらのライブラリの 1 つ) に渡すことはできません。そうでない場合は、何らかの方法で一方の型をもう一方の型に変換する必要があります。これは簡単なはずです (そうでなければ、型は結局それほど同一ではありません!) が、変換を明示的に呼び出すと、ほとんど意味のない関数呼び出しでコードが膨れ上がります。このような変換関数は実際にはいくつかの値をコピーするかもしれませんが、高レベルの「プログラマ」の観点からは基本的に何もしません。

暗黙的な変換コンストラクタと演算子は明らかに役立ちますが、結合が導入されるため、いずれかの型が他の型について認識する必要があります。通常、少なくともライブラリを扱う場合は、これらの型の 1 つが存在すると、他の型が冗長になるため、これは当てはまりません。また、常にライブラリを変更できるわけではありません。

現在、ユーザーコードで暗黙的な変換を機能させる方法については 2 つのオプションがあります。

1. 1 つ目は、関係するすべての型に対して変換演算子と変換コンストラクター (および割り当て) を実装するプロキシ型を提供し、常にそれを使用することです。

2. 2 番目は、ライブラリへの変更は最小限で済みますが、柔軟性が大幅に向上します。つまり、関係する各型に対して、オプションで外部から有効にできる変換コンストラクターを追加します。

たとえば、型にAコンストラクターを追加します。

template <class T> A(
  const T& src,
  typename boost::enable_if<conversion_enabled<T,A>>::type* ignore=0
)
{
  *this = convert(src);
}

template <class X, class Y>
struct conversion_enabled : public boost::mpl::false_ {};

template <> struct conversion_enabled<OtherA, A> : public boost::mpl::true_ {};