Возвращение из пустоты функции

Question

Пусть класс существует следующим образом:

class Foo 
{ 
    void do_after_something() 
    { 
    //some code here 
    return; 
    } 

    void do_something() 
    { 
    //some code here 
    return do_after_something(); //returning another (void) function 
    } 
}; 

JAVA явно против чего-то вроде выше, компилятор Borland C++ выдает предупреждение, MS VC++ не жалуется.

Мой вопрос: должен ли логический (теоретический) возврат из функции пустоты?

return do_after_something(); 

в противоположность:

do_after_something(); 
return; 

или это все реализации (компилятор/язык) зависит?

Answer 1

Философски, вы могли утверждать, что возвращение результат void -returning функции должны быть разрешены, но, к сожалению, это не тот случай, по крайней мере, для Java.

Это является действительным для C++ однако. Если вы попробуете следующую программу:

#include <iostream> 

void xyzzy(void) {} 
void plugh(void) { return xyzzy();} 

int main() { 
    std::cout << "Hello\n"; 
    plugh(); 
    return 0; 
} 

будет работать нормально.

Это подробно описан в ISO C++11 6.6.3 /3:

Ответное заявление с выражением типа void может использоваться только в функциях с типом возвращаемого cv void; выражение вычисляется непосредственно перед возвратом функции к вызывающему.

Так что это действительно равноценны утверждать, что путь Java является правильным, если вы думаете о void как не фактического типа, а как отсутствие чего-то. Например, если у вас есть:

int xyzzy(void) { return 42; } 

в C, вы не обязаны указать аргумент правильно (не) типа, например, с:

void plugh; 
int twisty = xyzzy(plugh); 

Дитто, С ++ путь правильный, но по-другому - языки - это то, что они есть.

Answer 2

В C++ 11 его возможные и законные. Вы можете вернуть функцию void из другой функции void. Refrence Язык программирования C++ Глава 12, Bjarne Strousstrup

Answer 3

Я думаю, что это должно быть разрешено и считается действительным на всех языках. Если у вас есть функция, тип возврата которой равен void, и вы возвращаете результат выражения, тип которого void (например, вызов другой функции void), вы удовлетворены этим ограничением.

Это не считается полезным для этого в C (хотя я думаю, что это может быть разрешено), потому что нет необходимости в нем.В любое время вы делаете:

return someVoidFn(); 

Вы всегда можете перевести, что:

someVoidFn(); 
return; 

И получить тот же эффект.

Однако, на C++ и Java, возврат функции void имеет реальное использование, и это потому, что эти языки имеют шаблоны и генерические файлы. Рассмотрим это (не очень полезно) Java класс:

class NestedIdentity<T> { 
    T run(int i, T value) { 
    if (i == 0) return value; 
    return run(i - 1); 
    } 
} 

Его run метод возвращает значение, которое вы пройти к нему, после того, называющая себя заданное число раз. Я знаю, бессмысленно, правда? Но важная часть состоит в том, что Tможет быть недействительным. Вы можете сделать это:

NestedIdentity<Void> nest = new NestedIdentity<Void>(); 
nest(5, null); 

И это работает. В Java Void (обратите внимание на капитализацию) создает экземпляр общего типа с типом void, единственным значением которого является null. Если Java не разрешало возвращать выражение void в методе void, это должно было быть ошибкой времени компиляции для создания экземпляра generic с помощью void.