クラスのコンストラクタとファクトリが 1 つの引数を取る場合、implicit キーワードを使用することにより、そのコンストラクタまたはファクトリーを使って引数型のインスタンスを暗黙的にクラス型に変換することができます。暗黙的なコンストラクションは、実行時型がクラスの暗黙的コンストラクタまたはファクトリーの型とマッチする値がクラス型の変数に代入された場合、または asa を使用してクラス型に明示的にキャストされた場合に発生します。次に例を示します。 暗黙のコンストラクタとファクトリーは、それらを呼び出さないと代入が許可されない場合のみに呼び出し可能で、暗黙のコンストラクタは暗黙的には呼び出されないので、暗黙のコンストラクタの引数型はクラス自体ではないか、またはそのクラスのサブクラスでない場合があります。 暗黙のコンストラクタとファクトリーはまた、それらが発生するクラスと同じアクセス機能を持つことが必要です。たとえば、クラスが public の場合、暗黙のコンストラクタまたはファクトリーも public でなければなりません。 クラス内の複数のコンストラクタまたはファクトリーを暗黙的とマークすることにより、異なる複数の引数型をクラス型に暗黙的に変換することができます。クラス内に複数の暗黙のコンストラクタまたはファクトリーがある場合は、呼び出す対象のコンストラクタまたはファクトリーは、実行時型の値が引数型のサブタイプである値で呼び出し可能な宣言を、順番に検索することによって選択されます。複数の暗黙のコンストラクタとファクトリーは、次のルールに従います。

• 同じクラス内の複数の暗黙のコンストラクタまたはファクトリーは、同じ引数型を受け取ることはできません。
• 暗黙のコンストラクタまたはファクトリーは、前に、より全般的なコンストラクタまたはファクトリーがきている場合、その後に宣言することはできません。つまり、暗黙のコンストラクタまたはファクトリーが、前のコンストラクタまたはファクトリーの引数型のサブタイプである引数型を持つ場合、それを宣言することはできません。このルールは、暗黙的な呼び出しが不可能な暗黙のコンストラクタまたはファクトリーを作成することを会費するための措置です。

位置引数を取らない一つのコンストラクタまたはファクトリーも implicit で宣言することが可能です。その場合、一つの型からクラス型への暗黙的な変換を許可する代わりに、コンストラクターを使用して暗黙的に初期化される非 null の変数が許可されます。 null を使用して初期化されないので、これは特に Value クラス で便利です。 引数を取らない暗黙的なコンストラクタやファクトリーのサポートは、Curl API バージョン 6.0 で追加されました。

暗黙のコンストラクタとファクトリーは、隠されているキャストのために動作の混乱やパフォーマンスのオーバーヘッドを容易に招く可能性があるので、その使用を最低限に抑えることが必要です。

allow-implicit-downcasts? compiler directive が false に設定されている場合（既定）、暗黙のコンストラクタのどれかが実行時に必ず呼び出されると判断できない限り、コンパイラは暗黙のコンストラクタによる暗黙のキャストを拒否します。たとえば、前述の例でクラス A の場合は次のようになります。



最初の行はエラーになります。これは、get-a-string が A の暗黙のコンストラクタにパス可能な String を返す、ということがコンパイラで認識できないためです。3 行目は、asa を使用してキャストを明示的にするためエラーはありません。

{define-class public PhoneNumber
  field number:StringBuf
  {constructor implicit public {from-int64 val:int64}
    set self.number = {StringBuf val}
  }
  {constructor implicit public {from-StringBuf val:StringBuf}
    set self.number = val
  }
  {constructor implicit public {from-string val:StringInterface}
    || could validate number here, strip punctuation, etc.
    set self.number = {StringBuf val}
  }
  {constructor implicit public {default}
    set self.number = {StringBuf "?"}
  }
}

{let n1:PhoneNumber = 6177611200} || invokes from-int64
n1.number == {value n1.number}

{let n2:PhoneNumber = "6177611200"} || invokes from-string
n2.number == {value n2.number}

{let n3:PhoneNumber =
    {StringBuf "6177611200"} || invokes from-StringBuf
}
n3.number == {value n3.number}

{let n4:PhoneNumber} || initialized with default
n4.number == {value n4.number}

C++ プログラマへの注意