Scala manifest taken from variable and not instance? -

-

i'm not quite sure how phrase question because don't understand going on. expect manifest able tell me actual runtime type of instance, seems telling me runtime type of variable assigned to.

// scala 2.10.1 trait base class impl1 extends base class impl2 extends base  def showmanifest[t <: base](thing: t)(implicit ev: manifest[t]) = println(thing + ": " + ev.runtimeclass)  val (impl1, impl2) = (new impl1, new impl2)  println("=== impl1 , impl2 ===") showmanifest(impl1) showmanifest(impl2)  val choose1 = if(true) impl1 else impl2 val choose2 = if(false) impl1 else impl2  println("=== choose1 , choose2 ===") showmanifest(choose1) showmanifest(choose2)

output:

=== impl1 , impl2 === main$$anon$1$impl1@48ff2413: class main$$anon$1$impl1 main$$anon$1$impl2@669980d5: class main$$anon$1$impl2 === choose1 , choose2 === main$$anon$1$impl1@48ff2413: interface main$$anon$1$base main$$anon$1$impl2@669980d5: interface main$$anon$1$base

so, type of choose1 , choose2 base, why method ends manifest[base]? there way around this, can pick type don't know @ compile time (chosen config parameter or like) , pass factory method?

this seems working expected me. in instances call showmanifest, deferring type inference determine type opposed passing in type explicitly (i.e. showmanifest[impl1](impl1)). type see tied manifest match type of val passing in. in first 2 cases, type inference knows exact concrete type , see reflected in showmanifest prints. in second 2 cases, because of conditionals, type inference not know @ compile time 1 end being , moves type hierarchy 2 types until finds common type ends being base.

i suppose if wanted try around behavior, try this:

import scala.reflect.manifestfactory showmanifest(choose1)(manifestfactory.classtype(choose1.getclass()))

also, should switch things on typetags/classtags manifest has been deprecated in scala 2.10


Comments

Post a Comment

Popular posts from this blog

c# - How Configure Devart dotConnect for SQLite Code First? -

-
can configure following sample code ? when run following code, error : no entity framework provider found ado.net provider invariant name 'devart.data.sqlite' setting in machine.config <system.data> <dbproviderfactories> <add name="dotconnect sqlite" invariant="devart.data.sqlite" description="devart dotconnect sqlite" type="devart.data.sqlite.sqliteproviderfactory, devart.data.sqlite, version=4.6.287.0, culture=neutral, publickeytoken=09af7300eec23701" /> </dbproviderfactories> </system.data> after add below block code in app.config <?xml version="1.0"?> <configuration>   <configsections> <!-- more information on entity framework configuration, visit http://go.microsoft.com/fwlink/?linkid=237468 --> <section name="entityframework" type="system.data.entity.internal.configfile.entityframeworksection, entit...
Read more

erlang - Saving a digraph to mnesia is hindered because of its side-effects -

-
updated the digraph library in erlang implements data type side-effectful. each operation on data type saves new state in ets table -- instead of returning altered version of itself, more common in functional languages. the problem usage perspective, impedes effort store or pass around state in convenient way requiring me first "collect" state before can start juggle around. the closest solution have seen far serializer/deserializer , these have drawback tied current structure of digraphs instead of operating on abstract type -- prevents future proof solution. update pascal pointed out serializer utilizes interface of digraph, , hence eliminates drawback mentioned above. better, albeit still inconvenient, see no better alternative. what recommendation on how store digraphs? should go different data type altogether? thanks. i not sure understand concern. fact digraph stored in ets transparent in user interface, might want chnge either exchange digr...
Read more

java - Copying object fields -

-
what best way of copying classes when need have 2 independent variables? have simple class: public class myclass { boolean = false; string b= "not empty"; } do need make method : assign(myclass data ) { a= data.a; b= data.b; } is there automatic method copy (duplicate) objects in java? do need make method : pretty close. instead of making method, should make constructor. such constructors called copy constructor , , create them this: myclass(myclass data) { = data.a; b = data.b; } and create copy of instance, use constructor this: myclass obj1 = new myclass(); myclass obj2 = new myclass(obj1); copy constructor can tedious : using copy constructor create deep-copy can tedious, when class has mutable fields. in case, assignment create copy of reference, , not object itself. have create copy of fields (if want deep copy). can go recursive. a better way create deep copy serialize , deserialize object. why not use clone()? ...
Read more