search

ldionne / dyno

Runtime polymorphism done right
Boost Software License 1.0
975 stars 43 forks source link

Implement iterative vtable policy resolution #12

Closed ldionne closed 7 years ago

ldionne commented 7 years ago

The idea is that vtable policies should be aware of policies that come before them. This way, we can replace

te::vtable<
  te::local<te::only<decltype("foo"_s)>>,
  te::remote<te::except<decltype("foo"_s)>>
>

by simply

te::vtable<
  te::local<te::only<decltype("foo"_s)>>,
  te::remote<te::everything>
>