Changeset ba5131d

Timestamp:

Nov 18, 2016, 1:51:59 PM (8 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

bbd44c5

Parents:

da81e1d0

Message:

Further notes on virtual proposal

File:

• doc/proposals/virtual.txt (modified) (1 diff)

doc/proposals/virtual.txt

@@ -104 +104 @@
 One of the limitations of this design is that it does not support double dispatching, which
 concretely means traits cannot have routines with more than one virtual parameter. This design
-would have many ambiguities if it did support multiple virtual parameter.
+would have many ambiguities if it did support multiple virtual parameter. A futher limitation is 
+that traits over more than one type cannot have vtables meaningfully defined for them, as the 
+particular vtable to use would be a function of the other type(s) the trait is defined over.
 
 It is worth noting that the function pointers in these vtables are bound at object construction, rather than