бьёт по пальцам

тогда я не понимаю, почему это не сделать на концептах

точнее, тут ещё нужны метаклассы

саттеровские

одних концептов мало

Minoru
когда я соглашался с insert_reference_here, я ещё не знал, что в компиляторе нет вообще никакой специальной поддержки

Minoru
т.е. я знал, что Sync бесплатный и существует только в компайл-тайме, но думал, что компилятор знает про этот маркер и как-то его использует

ну по ошибке видно, что там просто требования

что-то там ожидает сущность с маркером Sync

и всё

Minoru
а оказывается, что всё сделано силами системы типов, без дополнительной магии: если мы создаём замыкание, то мы берём ссылку; если мы передаём это замыкание в std::thread::spawn, то он требует от замыкания Send, а это требует Sync — а Sync для замыкания не выведется, если только все захваченные штуки не реализуют Sync. Вот Rc не реализует, поэтому замыкание не может быть передано в тред — имеем ошибку компиляции

Minoru
да, просто требования

голову мне морочили, господа...

я это припомню)

Minoru
@ttldtor: т.е. «стратегия» — это такая обёртка, добавляющая типу новые свойства?

Minoru
а, хм, погоди, а как ты с помощью концептов заставишь С++ выводить для лямбд типы, включающие Sync?

Забудь про стратегию. Стратегия - это я про стратегии из книжки Александреску. Когда т ыберёшь некий тег или параметр или атрибут и он вынуждает применить другой алгоритм. Такое было со стратегиями выделения памяти, например

Minoru
(или не включающие, если захвачна ссылка на что-то, что не реализует Sync)

Я не могу получить типы захваченного?

Minoru
а разве можешь?