LLVMのExpected <T>がExpected <T> &&の2つのコンストラクターを実装するのはなぜですか？

Expected<T>llvm / Support / Error.hに実装されています。a Tまたはのいずれかを保持するタグ付きユニオンErrorです。

Expected<T>タイプのテンプレートクラスTです：

template <class T> class LLVM_NODISCARD Expected

しかし、これらの2つのコンストラクターは本当に私を混乱させます：

  /// Move construct an Expected<T> value from an Expected<OtherT>, where OtherT
  /// must be convertible to T.
  template <class OtherT>
  Expected(Expected<OtherT> &&Other,
           typename std::enable_if<std::is_convertible<OtherT, T>::value>::type
               * = nullptr) {
    moveConstruct(std::move(Other));
  }

  /// Move construct an Expected<T> value from an Expected<OtherT>, where OtherT
  /// isn't convertible to T.
  template <class OtherT>
  explicit Expected(
      Expected<OtherT> &&Other,
      typename std::enable_if<!std::is_convertible<OtherT, T>::value>::type * =
          nullptr) {
    moveConstruct(std::move(Other));
  }

Expected<T>同じ実装に対して2つの構成を繰り返すのはなぜですか？なぜこのようにしないのですか？：

template <class OtherT>
Expected(Expected<OtherT>&& Other) { moveConstruct(std::move(Other));}

そのコンストラクターは、提案に従って条件付きで明示的であるためです。これは、ある条件が満たされた場合にのみコンストラクタが明示的であることを意味します（ここではT、OtherT）。

C ++には、explicit(condition)C ++ 20より前のこの機能（のようなもの）のメカニズムはありません。したがって、実装では、2つの異なるコンストラクター（1つは明示的、もう1つは変換）の定義など、他のメカニズムを使用し、条件に従って適切なコンストラクターを選択する必要があります。これは通常std::enable_if、状態が解決されるの助けを借りてSFINAEを介して行われます。

C ++ 20以降、explicit指定子の条件付きバージョンが必要です。その場合、実装は単一の定義ではるかに簡単になります。

template <class OtherT>
explicit(!std::is_convertible_v<OtherT, T>)
Expected(Expected<OtherT> &&Other)
{
   moveConstruct(std::move(Other));
}

これを理解するには、まずから始めstd::is_convertibleます。cppreferenceによると：

虚数関数の定義 To test() { return std::declval<From>(); }が整形式である場合（つまり、暗黙の変換std::declval<From>()をTo使用して変換できるか、またはその両方FromでToあり、cv修飾されたvoidである可能性がある場合）は、に等しいメンバー定数値を提供しtrueます。それ以外の場合、値はfalseです。このチェックのために、std::declvalは、returnステートメントでの、odr-useとは見なされません。

アクセスチェックは、どちらのタイプにも関連しないコンテキストからの場合と同様に実行されます。returnステートメント内の式の直接のコンテキスト（戻り値の型への変換を含む）の妥当性のみが考慮されます。

ここで重要なのは、暗黙的な変換のみをチェックすることです。したがって、OPの2つの実装の意味は、OtherTが暗黙的にに変換可能な場合T、expected<OtherT>に暗黙的に変換されますexpected<T>。場合はOtherT明示的なキャストを必要としT、その後、Expected<OtherT>必要とし、明示的なキャストExpected<T>。

暗黙的および明示的キャストの例とそれらのExpected対応物を以下に示します

int x;
long int y = x;              // implicit cast ok
Expected<int> ex;
Expected<long int> ey = ex;  // also ok

void* v_ptr;
int* i_ptr = static_cast<int*>(v_ptr);              // explicit cast required
Expected<void*> ev_ptr;
auto ei_ptr = static_cast<Expected<int*>>(ev_ptr);  // also required