В каких ЯПах существуют функции, способные возвращать несколько значений?

создавать структуру - это что-то изобретать?

Rust ;)

Не, меня интересует именно несколько не связанных между собой переменных/объектов.

Можешь показать пример синтаксиса?

создавать структуру - это что-то изобретать?

Структура - это такой себе объект, можно считать. И в RAX все так же кладут ссылку на этот единый объект, а не сами значения ее полей.

Очевидный, питон. А вообще в новых плюсах есть же binding: https://en.cppreference.com/w/cpp/language/structured_binding

В питоне тоже под капотом возвращается tuple, но чуть менее многословный синтаксис.

Наверно во всех, в которых есть кортежи. И это не какая-то магия, это же просто анонимная структура из 3-х полей.

с++

A Tour of Go | Multiple results

О, все же такие есть, и не один.

• c++17
• питон
• go
• rust

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

Там происходит примерно то же, что здесь:

#include <stdio.h>
#include <stdlib.h>

typedef struct {
    int a;
    double b;
    double c;
} Foo;

Foo add(int a) {
    return {
        a + 1,
        a + 2.2,
        a + 3.3
    };
}

int main() {
    int a = 8;
    
    int b;
    double c, d;
    
    Foo foo = add(a);
    
    b = foo.a;
    c = foo.b;
    d = foo.c;
    
    printf("%d %lf %lf", b, c, d);
    
    return 0;
}

А, поняла. Ну все, тему помечаю решенной

Lua

и вроде даже пистон

metaprog, без tulpe и других структур

Ну это гений отрожденный. А ссылка на источник?

А? У функций может быть несколько выходных проводков.

https://i.imgur.com/eu6FBaE.png

Аааа. Засчитано.

Почти во всех есть, вот в haskell:

add a = (a, fromIntegral a + 2.2, fromIntegral a + 3.3)

...

a = 8
(b, c, d) = add a

А разного типа как в «примере» ТС? То есть можно ли смешать int и double?

В каких ЯПах существуют функции, способные возвращать несколько значений?

а зачем?

Это с раста скомпилировано? А результат как я и ожидала, возвращаемая тульпа передается через стек, а в rax засовывают адрес тульпы

Нужна именно функция? Чем процедура для разнотипных переменных не устраивает?

Да.

а зачем?

Ну теоретически интересно стало для расширения кругозора. Я из ЯПов в основном засиживаюсь на с/с++(младших стандартов). Но судя по тому, что это реализовано в каждом втором языке, фича чем-то полезна, хотя и является просто синтаксическим сахаром

В c++ есть std::make_tuple.

Нужна именно функция? Чем процедура для разнотипных переменных не устраивает?

Типа процедуры с параметрами-указателями? Вообще всем устраивает, но вдруг интересно стало, может где-то это возможно провести без побочек нативными методами языка.

https://en.cppreference.com/w/cpp/utility/tuple/make_tuple

Можно хоть так

#include <tuple>
...
auto foo()
{
    return std::make_tuple("Hello", true);
...
}

SQL же

Расширить кругозор можно, изучив, например, Рефал. Вот это будет расширением кругозора. А это все из пустого в порожнее.

является просто синтаксическим сахаром

собственно, и все, что за этим стоит.

фича чем-то полезна

снижает порог вхождения. зачем загружать кодера разными понятиями типа «кортеж», «список». Сказать ему, что так функция возвращает несколько значений, дальше можно не думать.

Типа процедуры с параметрами-указателями?

В некоторых языках всегда по ссылке передаются значения, не нужно возиться с указателями.

Питон возвращает только одно значение.

In [1]: def foo():
   ...:     return 1, 2
   ...:

In [2]: type(foo())
Out[2]: tuple

И это тоже одно значение.

Ну вот,пришёл и всё испортил :)

Нет, питон возвращает тапл. Просто ты тут же делаешь деструктуринг и даже не знаешь об этом.

В некоторых языках всегда по ссылке передаются значения, не нужно возиться с указателями.

Это ты о джаве сейчас с ее implicit ссылками на объекты? Брр.

Это я про фортран :D Там передать по значению до «2003» стандарта даже нельзя было.

Это несколько значений, собранные в композитный тип.

Забавно. А есть возможность в нем передавать параметры по значению? А, все, вижу исправление.

В 2003 стандарте появился атрибут value.

Угу, просто сразу не вспомнил когда именно.

В C со структурой то же самое. Но стоит учитывать, что код может оптимизироваться компилятором.

Ты пытаешься переопределить смысл вопроса. Причём переопределяешь так, что смысл в принципе теряется. Тут проще будет назвать ЯП в которых нельзя вернуть массив.

Мне интересны были именно варианты синтаксического сахара, которые в том же С, например, отсутствуют. Так-то понятное дело, везде под капотом тульпы/структыры.

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

Тут проще будет назвать ЯП в которых нельзя вернуть массив.

Господи, вы серьёзно? Какая разница, в чём передаются данные, важно лишь, что нужно программисту для достижения цели.

Или вы думаете, что в плюсах значения магическим образом перепрыгуют в переменные?

варианты синтаксического сахара

В данном случае сахар — это destructuring assignment, и он вообще к возврату из функции никакого отношения не имеет. Так развернуть можно любой тапл. И не только тапл.

В Go, например, всё легально. Понятно, что под капотом тоже наверняка есть какой-то враппер, но на уровне языка возвращается именно несколько значений, а никакой не массив.

Я серьёзно. Возвращается одно значение, а дальше ты делаешь деструктуринг. Это два разных явления, которые можно смешать только по недопониманию.

А, ясненько. Тогда и с++17 пойду исключу.

Паскаль же

program ololo;
uses sysutils;

procedure add(a: integer; out b: integer; out c, d: double);
begin
    b := a + 1;
    c := a + 2.2;
    d := a + 3.3;
end;

var
  a: integer = 8;
  b: integer;
  c, d: double;

begin
  add(a, b, c, d);
  writeln(format('%d %d %n %n', [a,b,c,d]))
end.