Приветствую Вас, уважаемые форумчане!

Вопрос, предполагаю, элементарный для опытных программистов.

Подскажите пожалуйста каким образом средствами C++ возможно реализовать строгую типизацию (запрет автоматического приведения для некоторых типов данных).

Поясню вопрос на упрощённом примере.
Предположим, есть задача реализовать библиотеку на C++, выполняющую математические вычисления с физическими величинами. Например "Количество яблок", "Количество груш", "Объём занимаемый яблоком", "Объём занимаемый грушей" и так далее. При этом базовый тип для этих сущностей один, например unsigned int.

• Как сделать так, чтобы на этапе компиляции было невозможно сложить яблоки с грушами, при этом яблоки с яблоками складывались так же эффективно, как просто два числа типа unsigned int?
• Как сделать, чтобы можно было умножать только количество яблок на объём яблока и получать значение в другом типе "Объём занимаемый яблоками", при этом нельзя было умножить объём груши на количество яблок?
• И как при этом оставить возможность простого вывода любого из этих значений на дисплей или в файл, предварительно преобразовав их в строку?

Интересует вариант реализации, при котором описанные ограничения контролируются компилятором и на этапе исполнения программы уже не требуют никаких проверок. Кроме этого было бы прекрасно обойтись без сторонних библиотек и ограничиться стандартными средствами языка С++, имеющимися во всех актуальных компиляторах C++.

Большое спасибо за уделённое время и Ваши ответы!

Это сообщение отредактировал(а) 1IMMORTAL - 27.6.2018, 15:45

Всем спасибо за внимание, ответ получил здесь: http://www.cyberforum.ru/cpp-beginners/thread2270256.html