Я ведь правильно понимаю, что концепты просто избавляют от синтаксических хаков уровня SFINAE, но всё ещё не умеют ни выводиться, ни чекаться на достаточность?

Таки ругается: unsupported cyclic reference between types/traits detected

А что значит "не выводиться" и "ни чекаться на достаточность"

Как это выглядит?

ну хочется задавать ограничения на тип так, чтобы для любого типа, удовлетворяющего им, тело темплейтной функции было корректным

template<typename Renderable> class MultiRender { public: void render_times(unsigned int n) const { while (--n >= 0) { static_cast<Renderable const&>(*this).render(); } } }; class String : public MultiRender<String> { public: Name(std::string str) : m_str(std::move((str)) void print() const { std::cout << m_str << '\n'; } private: std::string m_str; }; int main() { String vv("Putin"); vv.repeat(10); }

А что ты примером-то показать хотел?

Совершенно топорно: trait A<T> {} trait B: A<B> {}

Моя любимая конструкция: while (n --> 0) {..}

ты на паскале в таком и пишешь

разве не может быть несколько "end."?

https://github.com/ibmandura/ArtTree

Енто жи андевайнед бихейвиор? Т.е. его теперь его можно ещё проще сломать, прям как игрушку?

там ололохуйлоад вебсервисы