Всем привет, у меня вопрос. template<unsigned N, unsigned M> int

Question

Всем привет, у меня вопрос. template<unsigned N, unsigned M> int

compare(const char (&p1)[N], const char (&p2)[M]) {
return strcmp(p1, p2);

compare("hi", "mom")
утверждается что компилятор создаст такой вызов:

int compare(const char (&p1)[3], const char (&p2)[4])

Каким образом он поймет что на место N нужно подставить размер массивов?

#c #embedded #programming #russian

0

18.11.2021

8 ответов

26 просмотров

Ilya Автор вопроса

Слава
Потому что литералы это массивы?

так вопрос в другом

0

18.11.2021

Слава

Ilya
так вопрос в другом

В том как темплейт определяет размер массив в компайл тайме? Или про вывод? Ну он сопоставляет типы и выводит шаблонные параметры если кратко, а больше не скажу

0

18.11.2021

Ilya Автор вопроса

Слава
В том как темплейт определяет размер массив в комп...

да, второе, как он знает что вместо N надо размер массива поставить

0

18.11.2021

Слава

Ilya
да, второе, как он знает что вместо N надо размер ...

А что еще он может туда подставить?)

0

18.11.2021

Ilya Автор вопроса

Слава
А что еще он может туда подставить?)

да что угодно

0

18.11.2021

Слава

Ilya
да что угодно

Например

0

18.11.2021

Ofee Oficsu

А каким образом компилятор понимает, что на место T нужно подставить int? template<typename T> void foo(T&); // ... int x = 42; foo(x); А как он понимает, что тут нужно подставить массив? int arr[] = { 1, 2, 3 }; foo(arr); Если foo умеет целый массив выводить, то почему не может лишь часть его типа вывести?

0

18.11.2021

Слава · Accepted Answer

Слава

Потому что литералы это массивы?

0

18.11.2021

170 похожих чатов

Всем привет, у меня вопрос. template<unsigned N, unsigned M> int

8 ответов

Похожие вопросы