Операторы-шаблоны в классах-шаблонах

@Eraston · Регистрация: 09.09.2014

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

Добрый вечер!

Помогите, пожалуйста, разобраться.

Есть следующие классы:

State.h

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// State.h
#include "Engine.h"
 
namepsace Engine{
template<typename T>
    class State{
    private:
        T a;
        T c;
    public:
        // ...
        template<typename R>
        const State<T>& operator+=( const R& v )const{ c += v; return *this;
        // ...
    }
}

coarlsimple.h

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
// coralsimple.h
 
namespace Coral{
    namespace Simple{
        template<class T>
        class Value{
        private:
            // ...
        public:
            // ...
            template<typename R> void    operator+= ( const R& v ){ Set( Get() + v ); }
            // ...
        };
    }
}

Engine.h

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// Engine.h
#pragma once
#include <vector>
#include <queue>
#include <coralsimple.h>
// ...
 
namespace Engine{
    // ...
    typedef float                      ival;          // ** It's internal type
    typedef int                        rval;          // ** It's type of return value of Attribute
    typedef Coral::Simple::Value<ival> vval;          // ** It's define type of value
    // ...
}

И следующие ошибки:

C2678

C2678 binary '+=': no operator found which takes a left-hand operand of type 'const T' (or there is no acceptable conversion) \state.h

Со следующими сообщениями:

Output

Code
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
2>d:\ solution\projects\battleground\state.h(44): error C2678: binary '+=': no operator found which takes a left-hand operand of type 'const T' (or there is no acceptable conversion)
2>        with
2>        [
2>            T=Engine::vval
2>        ]
2>d:\ solution\projects\coral\coralsimple.h(61): note: could be 'void Coral::Simple::Value<Engine::ival>::operator +=<R>(const R &)'
2>        with
2>        [
2>            R=Engine::ival
2>        ]
2>d:\ solution\projects\coral\coralsimple.h(60): note: or       'Coral::Simple::Value<Engine::ival> Coral::Simple::Value<Engine::ival>::operator +=<R>(const R &)'
2>        with
2>        [
2>            R=Engine::ival
2>        ]
2>d:\ solution\projects\battleground\state.h(44): note: while trying to match the argument list '(const T, const R)'
2>        with
2>        [
2>            T=Engine::vval
2>        ]
2>        and
2>        [
2>            R=Engine::ival
2>        ]
2>d:\ solution\projects\battleground\attributehealth.h(57): note: see reference to function template instantiation 'const Engine::State<Engine::vval> &Engine::State<Engine::vval>::operator +=<Engine::ival>(const R &) const' being compiled
2>        with
2>        [
2>            R=Engine::ival
2>        ]
2>d:\ solution\projects\battleground\attributehealth.h(57): note: see reference to function template instantiation 'const Engine::State<Engine::vval> &Engine::State<Engine::vval>::operator +=<Engine::ival>(const R &) const' being compiled
2>        with
2>        [
2>            R=Engine::ival
2>        ]

Не могу понять в чём проблема, написал подобную конструкцию A<B<int>> в чистом проекте и A<B<int>>operator+=<R> адекватно работает:

Test.cpp

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
// Test.cpp
// ...
 
template<class T>
class A
{
private:
    T a = 0;
public:
    template<typename R>
    const A<T> operator+=( const R& v ){
        a += v;
        return *this;
    }
};
 
template<class T>
class S
{
private:
    T s;
public:
    template<typename R>
    const S<T> operator+=( const R& v ){
        s += v;
        return *this;
    }
};
 
int main(){
    A<int> a;
    a += 10.f;
    S<int> s;
    s += 10.f;
    S<A<int>> q;
    q += 10.f;
    return 0;
}

@oleg-m1973 · 26.06.2020, 19:27

----

@DrOffset · 26.06.2020, 19:28

oleg-m1973, может наоборот const-то убрать лучше в State? Как-то const противоречит семантике operator+=.

@oleg-m1973 · 26.06.2020, 19:30

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

class State{
private:
T a;
T c;
public:
// ...
template<typename R>
const State<T>& operator+=( const R& v )const{ c += v; return *this;

C++
1
State &operator+=( const R& v ) { c += v; return *this;}

Добавлено через 21 секунду
+= это не константный оператор

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

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

oleg-m1973, может наоборот const-то убрать лучше в State? Как-то const противоречит семантике operator+=.

Да, уже поправил

@TheCalligrapher · 26.06.2020, 19:50

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

Есть следующие классы:

И как из всего этого мы должны узнать, что за оператор += вы фактически вызываете? Где фактические вызовы? Как нам определить типы операндов?

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

Не могу понять в чём проблема, написал подобную конструкцию A<B<int>> в чистом проекте и A<B<int>>operator+=<R> адекватно работает:

Так а где здесь видно, что этот вариант как-то похож на исходный?

По вашим сообщениям об ошибках видно, что проблема скорее всего в том, что вы зачем-то навесили const на ваши операторы +=. В тестовом варианте ничего подобного нет, то есть это совсем не "подобная конструкция". Неудивительно, что тестовый вариант компилируется, а ваш исходный - нет.

@Eraston · 26.06.2020, 19:57 **[ТС]**

Благодарю

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

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

И как из всего этого мы должны узнать, что за оператор += вы фактически вызываете? Где фактические вызовы? Как нам определить типы операндов?

Потому, что компилятор не предоставляет места вызова этих операторов, а найти их в 1000-ах строчек кода уже затруднительно. К слову, пытался понять, где же эти операторы вызываются, но ума не хватает, где именно.

@TheCalligrapher · 26.06.2020, 20:03

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

Потому, что компилятор не предоставляет места вызова этих операторов,

Два последних сообщения в приведенном вами списке сообщений об ошибках - это и есть места вызова этих операторов.

Новые блоги и статьи Все статьи Все блоги /
Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025

Операторы-шаблоны в классах-шаблонах

Решение

Решение

@oleg-m1973 6772 / 4565 / 1844 Регистрация: 07.05.2019 Сообщений: 13,726
	26.06.2020, 19:27
	---- 0

@DrOffset 19491 / 10097 / 2460 Регистрация: 30.01.2014 Сообщений: 17,805
	26.06.2020, 19:28
	Сообщение было отмечено Eraston как решение Решение oleg-m1973, может наоборот const-то убрать лучше в State? Как-то const противоречит семантике `operator+=`. 1