#t , any , Type の違いは？

[umemura]

open-controls のソースを見ていたところ、「#t」という型の定義を見かけました。

内容をみるかぎり、どんな型のインスタンスがくるかわからないときに利用しているようなのですが、
これは「any」とは違うのでしょうか。

また、配列の {Array-of t:Type}　のように、型定義に 「Type」や、「ClassType」を指定しているものもありますが、
これらにも違いはあるのでしょうか。

もしご存知の型がいらっしゃったら教えてください。

Code:

{define-class public {DisplayFrame-of t:Type}  {inherits BaseFrame}

  field private _contents:#t = null
  field private _display?:bool = true

  {constructor public {default
                          contents:#t = null,
                          display?:bool=true,
                          ...
                      }
    {construct-super ...}
    set self.display? = display?
    set self.contents = contents

  }

  {getter public {contents}:#t {return self._contents}}
  {setter public {contents value:#t}:void
    {if value != self._contents then
        set self._contents = value
        {self.clear}
        {if-non-null value then
            {if self.display? then
                {self.add-internal value}
            }
        }
    }
  }

  {getter public {display?}:bool {return self._display?}}
  {setter public {display? value:bool}:void
    {if value != self._display? then
        set self._display? = value
        {if not value then
            {self.clear}
         else
            {if-non-null con = self._contents then
                {self.add-internal con}
            }
        }
    }
  }
}


{def df:{DisplayFrame-of Scrollbar} = {{DisplayFrame-of Scrollbar} contents = {Scrollbar}}}

{value df}

{value {type-of df.contents}}

[heavybugtracker]

> ご存知の型 --> ご存知の方？　


”#t”の中の　t　自体は変数名でしょう？ よく見られるのが、パラメータ化クラス定義ですね。
例：
{define-class public {Array-of t:Type}
|| body of class
}

パラメータの型はType型です、すなわち、任意のデータ型を指定することができる。このパラメータtの値（Stringやintなど、Curlの認識できる型ならなんでもOK）の指定によって、違うクラス型になる。

{Array-of String}で指定する場合、データ型は｛Array-of String}になり、
｛Array-of int}で指定するなら、データ型は｛Array-of int}になります。



型がわからない時に利用するのではなく、クラス定義の時に、データ型によってクラス定義をしたい場合に利用される。
ドキュメントにパラメータ化クラスの説明がありますので、詳細はドキュメントをご参照下さい。

[wbardwell]

#t means that the template will substitute in the nullable version of type 't' which you specified when you instantiate the template. (E.g. this is means that if you ask for {DisplayFrame-of String} that field will be #String. For non-class types there is no # variant (#int == int).)

This is different from using 'any' in that the field or argument will be of the specified type, attempting to pass other types will cause a compilation error, and the storage will be the size of that type, and math operators will be natively compiled in the right type. (Note that you could do {DisplayFrame-of any} and lose all of those benefits, but it might be suitable in some cases.)

Type means any type can be used, ClassType means that it must be a subclass of Object (anything defined with define-class.) (Type also includes value types and basic types like int.)

[umemura]

heavybugtrackerさん、wbardwellさん、ありがとうございます。

なるほど。
Template の「t」なのですね。
また、この型宣言は、クラス宣言部でしか使えない、という認識です

any 型ではなく、インスタンス時に型が決まるので、
プログラミング中に、フィールドやメソッドのオートコンプリートが表示されるわけですね。

Type と ClassType も、意味は若干異なり、前者はすべての型、後者はクラスの型をあらわす、という理解です。

勉強になりました。

Code:

{define-class public {CustomClass-of t:Type}
  field data:t
  {constructor public {default data:t}
    set self.data = data
  }
}

{define-class public {CustomClassNull-of t:Type}
  field data:#t
  {constructor public {default data:#t}
    set self.data = data
  }
}

{define-class public CustomClass
  field data:any
  {constructor public {default data:any}
    set self.data = data
  }
}

{def a = {{CustomClass-of String} "String"}} ||<- null を指定できない
{value {type-of a.data}}

{def c = {{CustomClassNull-of String} null}} ||null指定可能
{value {type-of c.data}}

{def b = {CustomClass "String"}}
{value {type-of b.data}}

{do
    let str:String = ""
    set str = a.data  || キャスト必要なし
    set str = {non-null c.data} || nullable の判断
    set str =  b.data asa String || 明示的なキャストが必要

}