Вопросы по теме 'type-deduction'
вывод типа из указателя функции в качестве аргумента шаблона
Я новичок в шаблонах и у меня проблемы с их использованием. Я отправляю код, для которого я не могу кодировать. Нужна помощь в том, как сделать это произведение
Мне нужно что-то вроде указателя на функцию, передаваемого в качестве аргумента...
199 просмотров
schedule
22.11.2023
Параметры вложенного шаблона и вывод типа
Привет, я практикуюсь с шаблонами и выводом типов и хотел попробовать создать простой шаблон функции с вложенными параметрами шаблона для распечатки содержимого любого контейнера stl:
template <template<T, ALLOC> CONT>
void...
706 просмотров
schedule
13.11.2022
Вывести тип на основе существования признака
Следующий репозиторий пытается взять std::tuple и повторить его для вывода различных значений, связанных с ним. std::tuple — это вершина, и конечным ее использованием будет вызов glEnableVertexArray и glVertexAttribPointer для элементов.
До сих...
102 просмотров
schedule
26.11.2023
GCC не может вывести тип автоматического возврата из функции шаблона?
У меня есть простая шаблонная функция do_something , которая возвращает целое число: 123 .
template<typename T>
auto do_something(T input) {
std::this_thread::sleep_for(std::chrono::seconds(1));
return 123;
}
int main(int argc, char...
681 просмотров
schedule
21.12.2023
Почему у нас несоответствие типов?
Я написал программу, чтобы увидеть, как строковые литералы выводятся в шаблонных функциях.
#include <iostream>
#include <string>
#include <type_traits>
template<typename T> void passByValue(T by_value)
{
std::cout...
421 просмотров
schedule
12.05.2024
Что на самом деле означает аргумент, не зависящий от типа, в ограничении?
Например:
map (+1) 2
в ghci дает
<interactive>:23:1: error:
* Non type-variable argument in the constraint: Num [b]
(Use FlexibleContexts to permit this)
* When checking the inferred type
it :: forall b. (Num b, Num [b]) =>...
115 просмотров
schedule
04.06.2024