scala - ":" in type parameter -
scala - ":" in type parameter -
in scala-arm project, see code this:
def managed[a : resource : manifest](opener : => a) : managedresource[a] = new defaultmanagedresource(opener)
can explain meaning of [a : resource : manifest] ?
def managed[a : resource : manifest](opener : => a) : managedresource[a] = new defaultmanagedresource(opener)
means
def managed[a](opener : => a)(implicit r: resource[a], m: manifest[a]) : managedresource[a] = new defaultmanagedresource(opener)
you can link text 7.4 context bounds , view bounds more information.
scala context-bound
Comments
Post a Comment