S>>>Так у нас вы тут за теоретика. Вот, доказываете, что если есть const demo d, то в конструкторе d мы будем иметь дело с const demo. А на практике так не получается.

σ>>Как можно сказать, равно ли A B, если из них ты знаешь только A или только B

S>Я правильно понимаю, что вы можете привести пример, который докажет, что в конструкторе const demo тип именно const demo, а не demo?

Доказывают, приводя доказательство

S>>>Так у нас вы тут за теоретика. Вот, доказываете, что если есть const demo d, то в конструкторе d мы будем иметь дело с const demo. А на практике так не получается.

σ>>Как можно сказать, равно ли A B, если из них ты знаешь только A или только B

S>Я правильно понимаю, что вы можете привести пример, который докажет, что в конструкторе const demo тип именно const demo, а не demo?

Доказывают, приводя доказательство

Но вообще ладно, вот: пример "2+2=4" доказывает, что в конструкторе const demo тип именно const demo.