Виртуальные функции по понятным причинам должны быть все объявлены в одном месте.
Специальные члены классов (копирующие и перемещающие конструкторы и операторы присваивания, и деструкторы) - может и могли бы быть объявлены отдельно, но это создавало бы большую путаницу.
Для остальных функций есть как минимум еще одна проблема - что делать с непубличными полями/методами? Открывать к ним доступ для объявленных позднее методов? Тогда смысл теряется.
Если не учитывать последнее, то невозможность добавлять обычные функции в классы - это произвольное ограничение. Но это в чем-то удобно: если пишешь foo.bar()
, то можешь быть уверенным, что это метод из оригинального класса, а не дописанный кем-то снаружи.
Были поползновения в похожую сторону - не разрешить дописывать функции в класс, но сделать синтаксис f(a,x,y)
, a.f(x,y)
и a->f(x,y)
более-менее взаимозаменямым. Но в стандарт это не приняли.