[libcxx-commits] [PATCH] D117714: [WIP][libc++] Implement LWG3549: view_interface need not inherit from view_base

[Arthur O'Dwyer via Phabricator via libcxx-commits]

Quuxplusone added a comment.

@jloser: I believe the intended implementation technique here is

  template<class U> std::true_type f(std::view_interface<U>*);
  template<class U> std::false_type f(...);
  template<class T> using the_thing = decltype(f( (T*)nullptr ));

(with all the obvious uglifications etc). Check out what we do for `enable_shared_from_this` and/or grep for any other places in the Standard that use that same "unique public base class" phrasing. (I have not checked, myself.)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D117714/new/

https://reviews.llvm.org/D117714