Changeset ba5131d


Ignore:
Timestamp:
Nov 18, 2016, 1:51:59 PM (5 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
bbd44c5
Parents:
da81e1d
Message:

Further notes on virtual proposal

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/proposals/virtual.txt

    rda81e1d rba5131d  
    104104One of the limitations of this design is that it does not support double dispatching, which
    105105concretely means traits cannot have routines with more than one virtual parameter. This design
    106 would have many ambiguities if it did support multiple virtual parameter.
     106would have many ambiguities if it did support multiple virtual parameter. A futher limitation is
     107that traits over more than one type cannot have vtables meaningfully defined for them, as the
     108particular vtable to use would be a function of the other type(s) the trait is defined over.
    107109
    108110It is worth noting that the function pointers in these vtables are bound at object construction, rather than
Note: See TracChangeset for help on using the changeset viewer.