-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathMoveOnlyCopyRule.cpp
More file actions
155 lines (132 loc) · 4.08 KB
/
Copy pathMoveOnlyCopyRule.cpp
File metadata and controls
155 lines (132 loc) · 4.08 KB
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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
/**
*
* @file MoveOnlyCopyRule.cpp
* @author Gaspard Kirira
*
* Copyright 2025, Gaspard Kirira. All rights reserved.
* https://github.com/vixcpp/vix
* Use of this source code is governed by a MIT license
* that can be found in the License file.
*
* Vix.cpp
*
*/
#include <vix/cli/errors/template/ITemplateErrorRule.hpp>
#include <vix/cli/errors/CodeFrame.hpp>
#include <iostream>
#include <memory>
#include <string>
#include <vix/cli/Style.hpp>
using namespace vix::cli::style;
namespace vix::cli::errors::template_rules
{
namespace
{
bool icontains(const std::string &text, const std::string &needle)
{
if (needle.empty())
return true;
auto lower = [](unsigned char c) -> char
{
if (c >= 'A' && c <= 'Z')
return static_cast<char>(c + ('a' - 'A'));
return static_cast<char>(c);
};
if (text.size() < needle.size())
return false;
for (std::size_t i = 0; i + needle.size() <= text.size(); ++i)
{
bool ok = true;
for (std::size_t j = 0; j < needle.size(); ++j)
{
if (lower(static_cast<unsigned char>(text[i + j])) !=
lower(static_cast<unsigned char>(needle[j])))
{
ok = false;
break;
}
}
if (ok)
return true;
}
return false;
}
bool mentions_copy_semantic(const std::string &message)
{
return icontains(message, "copy constructor") ||
icontains(message, "copy assignment") ||
icontains(message, "operator=") ||
icontains(message, "copy-constructor");
}
bool mentions_move_only_type(const std::string &message)
{
return icontains(message, "std::thread") ||
icontains(message, "std::jthread") ||
icontains(message, "std::promise") ||
icontains(message, "std::future") ||
icontains(message, "std::packaged_task") ||
icontains(message, "non-copyable");
}
std::string choose_hint(const std::string &message)
{
(void)message;
return "use std::move, pass by reference, or delete copying intentionally";
}
} // namespace
class MoveOnlyCopyRule final : public ITemplateErrorRule
{
public:
bool match(const vix::cli::errors::CompilerError &err) const override
{
const std::string &message = err.message;
/*
* std::unique_ptr has a dedicated compiler rule with a more
* actionable ownership fix. Keep this generic move-only rule from
* stealing that diagnostic before the regular compiler-rule family.
*/
if (icontains(message, "unique_ptr"))
return false;
// Most reliable: deleted-function diagnostic mentioning a move-only type
// and copy semantics.
const bool deletedFn =
icontains(message, "use of deleted function") ||
icontains(message, "implicitly deleted") ||
icontains(message, "is deleted");
if (deletedFn &&
(mentions_move_only_type(message) ||
mentions_copy_semantic(message)))
{
return true;
}
if (icontains(message, "copy constructor is implicitly deleted"))
return true;
if (icontains(message, "non-copyable"))
return true;
return false;
}
bool handle(
const vix::cli::errors::CompilerError &err,
const vix::cli::errors::ErrorContext &ctx) const override
{
std::cerr << RED
<< "error: copy of move-only type"
<< RESET << "\n";
printCodeFrame(err, ctx);
std::cerr << YELLOW
<< "hint: "
<< RESET
<< choose_hint(err.message)
<< "\n";
std::cerr << GREEN
<< "at: "
<< RESET
<< err.file << ":" << err.line << ":" << err.column
<< "\n";
return true;
}
};
std::unique_ptr<ITemplateErrorRule> makeMoveOnlyCopyRule()
{
return std::make_unique<MoveOnlyCopyRule>();
}
} // namespace vix::cli::errors::template_rules