Место определения бинарных операторов | std::list::remove() | C2676

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

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

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

Почему бинарные операторы должны быть определены в том же пространстве имён, что и класс? Иначе компилятор выдаёт C2676. Не понимаю.

Лог сборки

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Build started...
1>------ Build started: Project: CoralTester, Configuration: Debug Win32 ------
1>CoralTester.cpp
1>C:\Program Files (x86)\Microsoft Visual Studio\2019\Community\VC\Tools\MSVC\14.29.30037\include\list(1603,65): error C2676: binary '==': 'const _Ty' does not define this operator or a conversion to a type acceptable to the predefined operator
1>        with
1>        [
1>            _Ty=ns::A
1>        ]
1>C:\Program Files (x86)\Microsoft Visual Studio\2019\Community\VC\Tools\MSVC\14.29.30037\include\list(1602): message : while compiling class template member function 'auto std::list<ns::A,std::allocator<ns::A>>::remove(const _Ty &)'
1>        with
1>        [
1>            _Ty=ns::A
1>        ]
1>D:\[VS] Projects\CoralTester\CoralTester.cpp(64): message : see reference to class template instantiation 'std::list<ns::A,std::allocator<ns::A>>' being compiled
1>C:\Program Files (x86)\Microsoft Visual Studio\2019\Community\VC\Tools\MSVC\14.29.30037\include\list(1614,1): error C2451: a conditional expression of type 'void' is not valid
1>C:\Program Files (x86)\Microsoft Visual Studio\2019\Community\VC\Tools\MSVC\14.29.30037\include\list(1614,22): message : Expressions of type void cannot be converted to other types
1>C:\Program Files (x86)\Microsoft Visual Studio\2019\Community\VC\Tools\MSVC\14.29.30037\include\list(1603): message : see reference to function template instantiation 'auto std::list<ns::A,std::allocator<ns::A>>::remove_if<std::list<ns::A,std::allocator<ns::A>>::remove::<lambda_d4df69f2a19d942aaf00d32d504d5860>>(_Pr1)' being compiled
1>        with
1>        [
1>            _Pr1=std::list<ns::A,std::allocator<ns::A>>::remove::<lambda_d4df69f2a19d942aaf00d32d504d5860>
1>        ]
1>Done building project "CoralTester.vcxproj" -- FAILED.
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

Код

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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
#include <list>
#include <iostream>
 
#define TE
 
#ifdef TEST
 
class A{
public:
    int k;
    A( int a ):k( a ){}
};
 
typedef std::list<A> alist;
 
bool operator==( const A& a, const A& b ){
    return &a == &b;
}
 
bool operator==( const A& a, const int b ){
    return a.k == b;
}
 
#else
 
namespace ns{
    class A{
    public:
        int k;
        A( int a ):k( a ){}
    };
 
    #ifdef TE
 
    bool operator==( const ns::A& a, const ns::A& b ){
        return &a == &b;
    }
 
    bool operator==( const ns::A& a, const int b ){
        return a.k == b;
    }
 
    #endif
 
}
 
typedef std::list<ns::A> alist;
 
#ifndef TE
 
bool operator==( const ns::A& a, const ns::A& b ){
    return &a == &b;
}
 
bool operator==( const ns::A& a, const int b ){
    return a.k == b;
}
 
#endif
 
#endif
 
int main(){
    alist as;
    as.emplace_back( 0 );
    as.emplace_back( 1 );
    as.emplace_back( 2 );
    for( auto& p : as ){
        std::cout << p.k << " ";
    }
    std::cout << std::endl;
    for( auto& p : as ){
        if( p.k == 1 ){
            as.remove( p );
            break;
        }
    }
    for( auto& p : as ){
        std::cout << p.k << " ";
    }
    std::cout << std::endl;
}

@DrOffset · 11.08.2021, 14:01

Eraston, потому что std:: не видит ваших операторов и единственный способ их найти - это применить ADL.
А ADL так работает, что ищет для типа класса либо в нем самом, либо в охватывающем класс namespace.

Новые блоги и статьи Все статьи Все блоги /
Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .
модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI	Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ

@DrOffset 19500 / 10105 / 2461 Регистрация: 30.01.2014 Сообщений: 17,818
	11.08.2021, 14:01
	Сообщение было отмечено Eraston как решение Решение Eraston, потому что std:: не видит ваших операторов и единственный способ их найти - это применить ADL. А ADL так работает, что ищет для типа класса либо в нем самом, либо в охватывающем класс namespace. 1

Место определения бинарных операторов | std::list::remove() | C2676

Решение