[variadic pack][cdecl]

@hoggy · Регистрация: 15.11.2014

Студворк — интернет-сервис помощи студентам

доброе утро.

cdecl (сокращение от англ. c-declaration) — соглашение о вызовах, используемое компиляторами для языка Си (отсюда название).
Аргументы функций передаются через стек, справа налево.

рассмотрим код:

http://rextester.com/ATJJT68666

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include <iostream>
 
template<typename T> int pass(int) 
{
    std::cout << "type = " << typeid(T).name() <<std::endl;
    return 1;
}
 
void some_function(int,int,int) {}
 
template<typename... Args> inline void expand(const Args&... args) 
{
    some_function( pass<Args>(1)... );
}
 
int main()
{
    expand(42, "answer", true);
}

вывод:

Code
1
2
3
type = bool
type = char [7]
type = int

видно, что распаковка типов аргументов вариадик-пака произошла справа налево.
сначала последний и так до первого.

как можно без лишних головняков взять направление распаковки под контроль?

в первую очередь нужно слева на право.

в перспективе - иметь возможность задавать направление.

@gray_fox · 09.02.2018, 11:50

Сообщение от hoggy

как можно без лишних головняков взять направление распаковки под контроль?

initializer_list ?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#include <iostream>
#include <initializer_list>
 
 
template<typename T> int pass(int) 
{
    std::cout << "type = " << typeid(T).name() <<std::endl;
    return 1;
}
 
void some_function(std::initializer_list<int>) 
{
}
 
 
template<typename... Args> inline void expand(const Args&... args) 
{
    some_function( { pass<Args>(1)... } );
}
 
int main()
{
    expand(42, "answer", true);
}

http://rextester.com/EMJD68819

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

Там порядок вызова вообще не определён, на сколько я понимаю.

@hoggy · 09.02.2018, 12:09 **[ТС]**

Сообщение от gray_fox

initializer_list ?

вообще ни о чем.

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

вот улучшенный пример:

http://rextester.com/CICHJ13203

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
#include <type_traits>
#include <iostream>
#include <string>
 
struct context{};
 
template<class T> auto pass(const context&) noexcept
{
    using arg = ::std::remove_cv_t<
        ::std::remove_reference_t<T> 
    >;
    
    std::cout << "type = " << typeid(T).name() << std::endl;
    return arg{};
}
 
void some_function(int v1, bool v2, const std::string& v3) noexcept
{
    std::cout << "call(" 
        << v1 << ", " 
        << std::boolalpha << v2 <<" , \"" 
        << v3 <<"\" );\n";
}
 
 
template<class... Args> void expand(const Args&...) 
{
    context ctx;
    some_function( pass<Args>(ctx)... );
}
 
int main()
{
    expand(42, true, "answer");
}

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

Добавлено через 4 минуты
технически можно заложиться на дефолтный порядок следования аргументов cdecl
но фишка в том, что данное соглашение не регламентировано стандартном.
а значит на него нельзя закладываться.

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

@gray_fox · 09.02.2018, 12:38

Сообщение от hoggy

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

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

Добавлено через 3 минуты
Что-нибудь вроде https://ideone.com/4W8bX6

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
#include <type_traits>
#include <iostream>
#include <string>
#include <typeinfo>
#include <utility>
#include <tuple>
 
 
struct context{};
 
template<class T> auto pass(const context& c) noexcept
{
    using arg = ::std::remove_cv_t<
        ::std::remove_reference_t<T> 
    >;
    
    std::cout << "type = " << typeid(T).name() << std::endl;
    return arg{};
}
 
void some_function(int v1, bool v2, const std::string& v3) noexcept
{
    std::cout << "call(" 
        << v1 << ", " 
        << std::boolalpha << v2 <<" , \"" 
        << v3 <<"\" );\n";
}
 
 
template<typename F, typename ArgsTuple, std::size_t ...Indices>
auto apply(F && f, ArgsTuple && args, std::index_sequence<Indices...>) {
   return std::forward<F>(f)(std::get<Indices>(std::forward<ArgsTuple>(args))...);
}
 
 
template<class... Args> void expand(const Args&...) 
{
    using tuple_type = std::tuple<std::remove_cv_t<decltype(pass<Args>(std::declval<context>()))>...>;
    
    context ctx;
    tuple_type args { pass<Args>(ctx)... };
    
    apply(some_function,
         std::move(args),
         std::make_index_sequence<sizeof...(Args)> {});
}
 
int main()
{
    expand(42, true, std::string { "answer" });
}

@hoggy · 09.02.2018, 12:56 **[ТС]**

я вот такое решение родил.
работает.
но не понятно, почему счетчик в обратную сторону мотает????

http://rextester.com/AVV36740

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
#include <type_traits>
#include <iostream>
#include <string>
#include <tuple>
 
struct context{};
 
template<class T> auto pass(const context&, const size_t index) noexcept
{
    using arg = ::std::remove_cv_t<
        ::std::remove_reference_t<T> 
    >;
    
    std::cout << "index = " << index << " : type = " 
        << typeid(T).name() << std::endl;
    return arg{};
}
 
 
template<size_t N, class tuple>
using element 
    = typename ::std::tuple_element<N, tuple>::type;
 
void some_function(int v1, bool v2, const std::string& v3) noexcept
{
    std::cout << "call(" 
        << v1 << ", " 
        << std::boolalpha << v2 <<" , \"" 
        << v3 <<"\" );" << std::endl;
}
 
 
template<size_t... N, class... Args> 
void expand_impl(const ::std::index_sequence<N...>, const Args&...) 
{
    using tuple = ::std::tuple<Args...>;
    context ctx;
    some_function( 
        pass< element<N, tuple> >(ctx, N)... 
    );
}
 
 
template<class... Args> void expand(const Args&... args) 
{
    context ctx;
    return expand_impl(
        ::std::make_index_sequence<sizeof...(Args)>{},
        args...
    );
    
}
 
 
 
int main()
{
    expand(42, true, "answer");
}

Code
1
2
3
4
5
output:
index = 2 : type = char [7]
index = 1 : type = bool
index = 0 : type = int
call(0, false , "" );

@gray_fox · 09.02.2018, 13:07

Сообщение от hoggy

C++
1
some_function( pass< element<N, tuple> >(ctx, N)... );

Тут опять тоже самое - порядок вызова аргументов ф-ии не определён, поэтому я и предложил сначала создавать tuple через brace-init.

@hoggy · 09.02.2018, 13:08 **[ТС]**

Сообщение от gray_fox

Тут опять тоже самое - порядок вызова аргументов ф-ии не определён, поэтому я и предложил сначала создавать tuple через brace-init.

да я уже понял)

мерси за годное решение))

@John C Reynolds · 10.02.2018, 14:19

Сообщение от hoggy

cdecl (сокращение от англ. c-declaration) — соглашение о вызовах, используемое компиляторами для языка Си (отсюда название).
Аргументы функций передаются через стек, справа налево.

Познавательно. Только как оно связано с variadic pack?

Новые блоги и статьи Все статьи Все блоги /
Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .
Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .

[variadic pack][cdecl]

Решение