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