аля

template<typename Derived>
struct Base
{
    template<typename T>
    void foo(T obj)
    {
        static_cast<Derived*>(this)->fooImpl(obj);
    }

};


struct PolymorphicHolder
{
public:
   template<typename T>
   void invokeFoo(T val)
   {
       // ???
   }

private:
   struct ImplBase
   {
       // ???
 
       virtual ~ImplBase() = default;
   };

   template<typename Derived>
   struct Impl : ImplBase
   {
       // inherited from Base<Derived> 
       Derived obj;
   };

   ImplBase* impl_;   
};

Собсна в изначальном вопросе AbstractInterface == ImplBase, passThrough == invokeFoo

всем привет. Когда я установил VS 2019 и запустил простую программку, то получил ошибку что-то типа file not specified. Также заметил, что у меня студия говорит о наличии 450 ошибок, где каждая из них говорит cannot open source file string.h, cannot open source file lalal.h и тд. Как это исправить?

g++ например работает отлично и компилирует, а студия не может

значит студия более сильно требует исполнение стандарта. string.h заменен на cstring

так что в моем случае делать?

если нужны два компилятора начать использовать новые называния без .h

ну тогда пробема в путях к стандартным либам и т.п. не подскажу про VS не использую ни разу.

В @supapro иди. Тут тему закрываю.

Ты тоже, Стас, неправ, зачем давать советы когда проблема не ясна?

Путаешь только человека.

нет такого proposal-а, где предлагается владеющий указатель, наподобие unique_ptr, но у которого константность всех методов/операторов доступа к объекту и константность возвращаемой ссылки/указателя на объект совпадают?

это наверно стоит делать не отдельными указателями, а mixin'ами ко всем умным указателям

типа такого https://en.cppreference.com/w/cpp/experimental/propagate_const

Кажется, для этого завезли propogate_const

вообще конечно стремная особенность языка когда const метод может оказаться нереентрабельным даже без mutable полей класса

да, такой. А этот library fundamentals TS v2 — это что значит? Когда он может стать частью стандарта и какова вероятность?

Оттуда постепенно в стандарт какие-то вещи уходят, какие-то в 17, какие-то в 20. Про propagate_const пока ничего(

замечу, что propagate_const в TS уже лет сто сидит

мой косяг признаю!

насколько я понимаю, это для фич, которые комитету хочется потестировать перед включением в стандарт.   из-за этого отслеживать их судьбу становится чуть сложнее, чем обычных предложений. еще складывается впечатление, что версии library fundamentals привязаны к стандартам: так, propagate_const хотели включить в 20

что касается поддержки именно этого предложения N4388, то оно реализовано в stdlibc++ (но не очень понятно, с какой версии) и не реализовано в libc++. с ms stl ситуация не ясна

Есть нужда сделать фунцию, которая в зависимости от значения (не типа!) аргумента будет возвращать различные типы. То есть, чтобы вызвать функцию парсинга, не зная заранее, результат какого типа будет распарсен. Как эту задачу лучше решать? Через наследование?