0. Почему?
1. Почему?
2. Почему?
3. Точно? А если у меня using strong user_id = int, что такое user_id{1} + user_id{2}? Или user_id{5} * user_id{7}?

Все эти вопросы скорее риторические, на них не нужно отвечать (всё, что пришло мне в голову сходу, на самом деле можно приплести много чего ещё - операторы сравнения, поведение при наследовании, правила алиасинга, всякие там friend'ы и т.д...). Просто для каждой задачи, как выяснилось, нужно что-то своё. Есть классный пост на эту тему - https://foonathan.net/2016/10/strong-typedefs/

Конкретных свежих пропозалов в стандарт я не нашёл, увы.

А нельзя сделать struct Foo : private std::string {}; и через using подтянуть нужные базовые методы в паблик? или так не дозволено управлять видимостью методов?

А нельзя сделать struct Foo : private std::string {}; и через using подтянуть нужные базовые методы в паблик? или так не дозволено управлять видимостью методов?

Но наверное надо сделать protected наследование

Управлять видимостью через using можно

Не обязательно же такой синтаксис как я предложил.
Можно что-то вроде

strong using Foo = int;

или что-нибудь со старыми ключевыми словами, чтоб не совсем не ломать:

using class Foo = int; // По аналогии с "сильным" enum class.

А разница?

Но класс строки по моему файнал

Ну так у тебя при приватном наследовании разве будут доступны члены строки?

В наследнике? Да

Пишут что ничего:

https://www.fluentcpp.com/2017/05/05/news-strong-types-are-free/

Я наши обёртки дизассемблировал в простых случаях - тоже от простых типов не отличалось.