Принудительный вывод шаблона из функции для получения константных ссылок, где это применимо

Question

, выполняемый через следующую функцию с использованием gdb в vscode, говорит мне, что выведенные значения argTypes для функции вида T (*)(const int &, const int *, int &, int) равны int const int * int & и int соответственно. Есть ли способ заставить компилятор выводить const Type & при представлении аргумента const Type &? Или есть какие-то другие средства, с помощью которых я могу извлечь эту информацию о типе полезным способом?

#include<typeinfo>

template<typename T, typename...argTypes>
void testfunc(T (*f)(argTypes...))
{
    const char *a[] = { typeid(argTypes).name()... };
    for(auto &av :a)
    {
        std::cout << av << std::endl;
    }
}

edit: немного больше контекста: эта функция, очевидно, ничего не делает, но проблемная функция, которая ее породилатакже принимает все аргументы для запуска с f таким образом, чтобы они не выводились, а конвертировались. Это создает проблему для непереписываемых объектов, используемых в качестве константных ссылок.

Пример использования testfunc следующий:

#include "testfunc.h"

std::vector<bool> funcToTest(const int &a, const int *b, int &c, int d)
{
    std::vector<bool> out;
    out.push_back(&a == b);
    out.push_back(&c == b);
    out.push_back(&d == b);
    return out;
}

int main()
{
    // put a breakpoint here, and step in, you would see that 'a'
    // describes the situation as described above.
    testfunc(funcToTest);
}

Answer 1

Проблема здесь с typeid, а не с вычетом шаблона. Если вы используете

template<typename... Ts>
struct types;

template<typename T, typename...argTypes>
void testfunc(T (*f)(argTypes...))
{

    types<argTypes...>{};
}

Вы получите хорошее сообщение об ошибке, например

main.cpp: In instantiation of 'void testfunc(T (*)(argTypes ...)) [with T = std::vector<bool>; argTypes = {const int&, const int*, int&, int}]':
main.cpp:30:24:   required from here
main.cpp:12:5: error: invalid use of incomplete type 'struct types<const int&, const int*, int&, int>'
   12 |     types<argTypes...>{};
      |     ^~~~~
main.cpp:7:8: note: declaration of 'struct types<const int&, const int*, int&, int>'
    7 | struct types;
      |        ^~~~~

, которое показывает, что типы параметров функции правильно выведены.

С typeidесли тип является ссылкой, то он возвращает указанный тип. Также сбрасывает все cv-квалификации на типы. Это означает, что

int main()
{
    std::cout << typeid(int).name() << "\n";
    std::cout << typeid(int&).name() << "\n";
    std::cout << typeid(const int).name() << "\n";
    std::cout << typeid(const int&).name() << "\n";
    std::cout << typeid(volatile int).name() << "\n";
    std::cout << typeid(volatile int&).name() << "\n";
    std::cout << typeid(const volatile int).name() << "\n";
    std::cout << typeid(const volatile int&).name() << "\n";
}

печатает

i
i
i
i
i
i
i
i