template argument deduction/substitution failed

@Praktolock · Регистрация: 29.11.2011

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

Здравствуйте!

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
template <class T>
struct A
{
  struct B
  {
    
  };
};
 
template <class T>
typename A<T>::B operator+(const typename A<T>::B& _l, const typename A<T>::B&_r)
{
  return typename A<T>::B();
}
 
int main(int argc, char**argv)
{
  A<int>::B a, b, c;
  c = a + b;
  return 0;
}

компилятор говорит:

no match for ‘operator+’ (operand types are ‘A<int>::B’ and ‘A<int>::B’)
...
template argument deduction/substitution failed:
couldn't deduce template parameter ‘T’

@oleg-m1973 · 19.02.2021, 18:33

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

компилятор говорит:

Правильно говорит. Так вывести тип параметров не получится - из класса B нельзя определить тип класса A

@TheCalligrapher · 19.02.2021, 18:45

Перегрузка оператора у вложенного класса шаблона

@oleg-m1973 · 19.02.2021, 18:59

Только вот так

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
template <class T>
struct A
{
    struct B
    {
        using type = T;
    };
};
 
template <class T>
auto operator+(const T &_l, const typename A<typename T::type>::B &_r) -> typename A<typename T::type>::B
{
  return typename A<typename T::type>::B();
}
 
int main(int argc, char**argv)
{
  A<int>::B a, b, c;
  c = a + b;
  return 0;
}

@Praktolock · 19.02.2021, 19:07 **[ТС]**

Сообщение от oleg-m1973

Только вот так

Что-то много букв. Тогда уж так (как я и решил сделать):

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
template <class T>
struct A
{
  struct B
  {
    typedef T TYPE;
  };
};
 
template <class T>
T operator+(const T&_l, const T&_r)
{
  return T();
}
 
int main(int argc, char**argv)
{
  A<int>::B a, b, c;
  
  a = b + c;
  return 0;
}

@oleg-m1973 · 19.02.2021, 19:11

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

Что-то много букв. Тогда уж так (как я и решил сделать):

Да уж. Этот плюс у тебя будет вызываться вообще для всех типов, для которых нет специального оператора

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
template <class T>
struct A
{
  struct B
  {
    typedef T TYPE;
  };
};
 
template <class T>
T operator+(const T&_l, const T&_r)
{
std::cout << __FUNCSIG__ << std::endl;
  return T();
}
 
int main(int argc, char**argv)
{
  A<int>::B a, b, c;
  
  a = b + c;
 
 
  std::unique_ptr<int> s1, s2, s3;
  s1 = s2 + s3;
  return 0;
}

Но раз решил, то делай

@Praktolock · 19.02.2021, 19:13 **[ТС]**

Сообщение от oleg-m1973

Этот плюс у тебя будет вызываться вообще для всех типов

Есть такое) Но меня это, как ни странно, устраивает

@oleg-m1973 · 19.02.2021, 19:18

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

Есть такое) Но меня это, как ни странно, устраивает

Сделай по-человечески

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template <class T>
struct A
{
    struct B
    {
        B operator +(const B &other) const
        {
            return B();
        }
    };
};
 
 
int main(int argc, char**argv)
{
  A<int>::B a, b, c;
  a = b + c;
 
  return 0;
}

@Praktolock · 19.02.2021, 19:29 **[ТС]**

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

Добавлено через 3 минуты

Сообщение от oleg-m1973

Сделай по-человечески

к сожалению, этот очевидный вариант, меня не устраивает

Добавлено через 4 минуты
Впрочем, как и тот, который я решил использовать. Жизнь боль...

@TheCalligrapher · 19.02.2021, 19:40

Сообщение от oleg-m1973

Только вот так

Не только. В данном случае можно было обойтись без шаблонности оператора сложения, т.е. можно было (и нужно было!) вместо этого воспользоваться лазейкой с friend

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
template <class T>
struct A
{
  struct B
  {
    friend B operator +(const B &_l, const B &_r)
    {
      return B();
    }
  };
};
 
int main(int argc, char**argv)
{
  A<int>::B a, b, c;
  c = a + b;
}

@Praktolock · 19.02.2021, 19:41 **[ТС]**

Попробую, добавить немного конкретики.

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
template <class T>
struct A
{
  struct B
  {
    
  };
  
  struct C
  {
    C() {}
    C(const B&) {}
    operator B() { return B(); }
    C& operator =(const B&) { return *this; }
  };
  
  struct D
  {
    D() {}
    D(const B&) {}
    operator B() { return B(); }
    D& operator =(const B&) { return *this; }
  };
};
 
typedef A<int> AA;
typedef AA::B B;
typedef AA::C C;
typedef AA::D D;
 
template <class T>
A<T>::B operator+(const A<T>::B&_l, const A<T>::B&_r)
{
  A<T>::B result(_l);
  //...
  return result;
}
 
int main(int argc, char**argv)
{
  B b;
  C c;
  D d;
  
  d = b + c;
  
  return 0;
}

Кроме класса B, есть еще C и D. Все математические операции над ними должны проводиться через приведение их к типу B. Если делать оператор + как функцию член, в каждом из них нужно будет писать примерно одно и то-же. Хотелось бы один оператор объявить...

@oleg-m1973 · 19.02.2021, 20:10

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

Кроме класса B, есть еще C и D. Все математические операции над ними должны проводиться через приведение их к типу B. Если делать оператор + как функцию член, в каждом из них нужно будет писать примерно одно и то-же. Хотелось бы один оператор объявить...

Если они все будут приводиться к типу B, то достаточно этот оператор объявить в классе B

@Praktolock · 19.02.2021, 20:13 **[ТС]**

Сообщение от oleg-m1973

Если они все будут приводиться к типу B, то достаточно этот оператор объявить в классе B

C++
1
2
3
4
5
6
7
8
9
10
11
typedef A<int> AA;
typedef AA::B B;
typedef AA::C C;
typedef AA::D D;
void main()
{
  B b;
  C c;
  D d;
  b = c + d;
}

скомпилируется?

@oleg-m1973 · 19.02.2021, 20:15

На худой конец вот так

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
template <class T>
struct A
{
  struct B
  {
    
  };
  
  struct C
  {
    C() {}
    C(const B&) {}
    operator B() { return B(); }
    C& operator =(const B&) { return *this; }
  };
  
  struct D
  {
    D() {}
    D(const B&) {}
    operator B() { return B(); }
    D& operator =(const B&) { return *this; }
  };
 
   friend B operator +(const B &a, const B &b)
  {
     .................
  }
 
};

Добавлено через 1 минуту

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

скомпилируется?

Конечно нет. Думаешь любой код нафигачишь и всё будет компилироваться?

@Praktolock · 19.02.2021, 20:19 **[ТС]**

Сообщение от oleg-m1973

вот так

то что нужно

Добавлено через 33 секунды

Сообщение от oleg-m1973

Конечно нет. Думаешь любой код нафигачишь и всё будет компилироваться?

Риторический вопрос был

Новые блоги и статьи Все статьи Все блоги /
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. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@TheCalligrapher Вездепух 12938 / 6805 / 1821 Регистрация: 18.10.2014 Сообщений: 17,224
	19.02.2021, 18:45
	Перегрузка оператора у вложенного класса шаблона 1

template argument deduction/substitution failed

Решение