Skip to content

Commit 64b5913

Browse files
jensmaurerzygoloid
authored andcommitted
[std] Replace 'might' in normative context.
Partially addresses ISO/CS 017 (C++20 DIS)
1 parent 9fd8ca5 commit 64b5913

File tree

11 files changed

+28
-26
lines changed

11 files changed

+28
-26
lines changed

source/algorithms.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -354,7 +354,7 @@
354354
\tcode{BinaryOperation1},
355355
\tcode{BinaryOperation2}, and
356356
the operators used by the analogous overloads to these parallel algorithms
357-
that could be formed by the invocation
357+
that are formed by an invocation
358358
with the specified default predicate or operation (where applicable)
359359
shall not directly or indirectly modify objects via their arguments,
360360
nor shall they rely on the identity of the provided objects.

source/basic.tex

Lines changed: 7 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2635,7 +2635,7 @@
26352635

26362636
\pnum
26372637
\indextext{translation unit}%
2638-
A name is said to have \defn{linkage} when it might denote the same
2638+
A name is said to have \defn{linkage} when it can denote the same
26392639
object, reference, function, type, template, namespace or value as a
26402640
name introduced by a declaration in another scope:
26412641
\begin{itemize}
@@ -4211,7 +4211,7 @@
42114211
less than or equal to the greatest alignment supported by the implementation in
42124212
all contexts, which is equal to
42134213
\tcode{alignof(std::max_align_t)}\iref{support.types}.
4214-
The alignment required for a type might be different when it is used as the type
4214+
The alignment required for a type may be different when it is used as the type
42154215
of a complete object and when it is used as the type of a subobject.
42164216
\begin{example}
42174217
\begin{codeblock}
@@ -4750,14 +4750,14 @@
47504750
incomplete type.
47514751

47524752
\pnum
4753-
A class type (such as ``\tcode{class X}'') might be incomplete at one
4753+
A class type (such as ``\tcode{class X}'') can be incomplete at one
47544754
point in a translation unit and complete later on; the type
47554755
``\tcode{class X}'' is the same type at both points. The declared type
4756-
of an array object might be an array of incomplete class type and
4756+
of an array object can be an array of incomplete class type and
47574757
therefore incomplete; if the class type is completed later on in the
47584758
translation unit, the array type becomes complete; the array type at
47594759
those two points is the same type. The declared type of an array object
4760-
might be an array of unknown bound and therefore be incomplete at one
4760+
can be an array of unknown bound and therefore be incomplete at one
47614761
point in a translation unit and complete later on; the array types at
47624762
those two points (``array of unknown bound of \tcode{T}'' and ``array of
47634763
\tcode{N} \tcode{T}'') are different types. The type of a pointer to array of
@@ -5746,7 +5746,7 @@
57465746
\end{example}
57475747
The sequencing constraints on the execution of the called function (as
57485748
described above) are features of the function calls as evaluated,
5749-
whatever the syntax of the expression that calls the function might be.%
5749+
regardless of the syntax of the expression that calls the function.%
57505750
\indextext{value computation|)}%
57515751

57525752
\indextext{behavior!on receipt of signal}%
@@ -6414,9 +6414,7 @@
64146414
A program shall contain a global function called \tcode{main}
64156415
attached to the global module.
64166416
Executing a program starts a main thread of execution~(\ref{intro.multithread}, \ref{thread.threads})
6417-
in which the \tcode{main} function is invoked,
6418-
and in which variables of static storage duration
6419-
might be initialized\iref{basic.start.static} and destroyed\iref{basic.start.term}.
6417+
in which the \tcode{main} function is invoked.
64206418
\indextext{implementation!freestanding}%
64216419
It is \impldef{defining \tcode{main} in freestanding environment}
64226420
whether a program in a freestanding environment is required to define a \tcode{main}

source/classes.tex

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2301,11 +2301,13 @@
23012301
derived classes.
23022302
Bases and members are destroyed in the reverse order of the completion of
23032303
their constructor (see~\ref{class.base.init}).
2304+
\begin{note}
23042305
A
23052306
\tcode{return}
23062307
statement\iref{stmt.return} in a destructor might not directly return to the
23072308
caller; before transferring control to the caller, the destructors for the
23082309
members and bases are called.
2310+
\end{note}
23092311
\indextext{order of execution!destructor and array}%
23102312
Destructors for elements of an array are called in reverse order of their
23112313
construction (see~\ref{class.init}).
@@ -6594,7 +6596,8 @@
65946596
a variable of automatic storage duration
65956597
that is either a non-volatile object or
65966598
an rvalue reference to a non-volatile object type.
6597-
In the following copy-initialization contexts, a move operation might be used instead of a copy operation:
6599+
In the following copy-initialization contexts,
6600+
a move operation is first considered before attempting a copy operation:
65986601
\begin{itemize}
65996602
\item If the \grammarterm{expression} in a \tcode{return}\iref{stmt.return} or
66006603
\tcode{co_return}\iref{stmt.return.coroutine} statement
@@ -7203,8 +7206,10 @@
72037206

72047207
\pnum
72057208
Access to the deallocation function is checked statically.
7209+
\begin{note}
72067210
Hence, even though a different one might actually be executed,
72077211
the statically visible deallocation function is required to be accessible.
7212+
\end{note}
72087213
\begin{example}
72097214
For the call on line ``// 1'' above,
72107215
if

source/containers.tex

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -768,8 +768,7 @@
768768
\tcode{array} is provided as a sequence container which provides limited sequence operations
769769
because it has a fixed number of elements. The library also provides container adaptors that
770770
make it easy to construct abstract data types, such as \tcode{stack}s or \tcode{queue}s, out of
771-
the basic sequence container kinds (or out of other kinds of sequence containers that the user
772-
might define).
771+
the basic sequence container kinds (or out of other kinds of sequence containers that the user defines).
773772

774773
\pnum
775774
\begin{note}
@@ -2873,7 +2872,7 @@
28732872
\indexunordmem{max_bucket_count}%
28742873
\tcode{b.max_bucket_count()}
28752874
& \tcode{size_type}
2876-
& \returns An upper bound on the number of buckets that \tcode{b} might
2875+
& \returns An upper bound on the number of buckets that \tcode{b} can
28772876
ever contain.%
28782877
& Constant
28792878
\\ \rowsep

source/declarations.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6085,7 +6085,7 @@
60856085
shall provide implicit definitions
60866086
for them~(\ref{class.ctor},
60876087
\ref{class.dtor}, \ref{class.copy.ctor}, \ref{class.copy.assign}),
6088-
which might mean defining them as deleted.
6088+
including possibly defining them as deleted.
60896089
A defaulted prospective destructor\iref{class.dtor}
60906090
that is not a destructor is defined as deleted.
60916091
A defaulted special member function

source/iostreams.tex

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6138,7 +6138,7 @@
61386138
to generate the requested output.
61396139
If the generation fails, then the formatted output function does
61406140
\tcode{setstate(ios_base::failbit)},
6141-
which might throw an exception.
6141+
which can throw an exception.
61426142
If an exception is thrown during output, then
61436143
\tcode{ios_base::badbit}
61446144
is turned on\footnote{without causing an
@@ -9620,8 +9620,8 @@
96209620
\pnum
96219621
\remarks
96229622
An
9623-
implementation might well provide an overriding definition for this function
9624-
signature if it can determine that more characters can be read from the input
9623+
implementation may provide an overriding definition for this function
9624+
signature if it can determine whether more characters can be read from the input
96259625
sequence.
96269626
\end{itemdescr}
96279627

source/overloading.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -732,7 +732,7 @@
732732
which the
733733
\grammarterm{postfix-expression}
734734
ultimately contains a name that
735-
denotes one or more functions that might be called.
735+
denotes one or more functions.
736736
Such a
737737
\grammarterm{postfix-expression},
738738
perhaps nested arbitrarily deep in
@@ -985,7 +985,7 @@
985985

986986
\pnum
987987
If either operand has a type that is a class or an enumeration, a
988-
user-defined operator function might be declared that implements
988+
user-defined operator function can be declared that implements
989989
this operator or a user-defined conversion can be necessary to
990990
convert the operand to a type that is appropriate for a built-in
991991
operator.

source/preprocessor.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1605,7 +1605,7 @@
16051605
\end{ncsimplebnf}
16061606
causes the implementation to behave
16071607
in an \impldef{\tcode{\#pragma}} manner.
1608-
The behavior might cause translation to fail or cause the translator or
1608+
The behavior may cause translation to fail or cause the translator or
16091609
the resulting program to behave in a non-conforming manner.
16101610
Any pragma that is not recognized by the implementation is ignored.
16111611

source/templates.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3891,7 +3891,7 @@
38913891
\indextext{overloading!resolution!template}%
38923892
\indextext{ordering!function template partial|see{template, function, partial ordering}}%
38933893
If a function template is overloaded,
3894-
the use of a function template specialization might be ambiguous because
3894+
the use of a function template specialization can be ambiguous because
38953895
template argument deduction\iref{temp.deduct} may associate the function
38963896
template specialization with more than one function template declaration.
38973897
\defnx{Partial ordering}{template!function!partial ordering}

source/time.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1058,7 +1058,7 @@
10581058
\pnum
10591059
The \tcode{duration} template uses the \tcode{duration_values} trait to
10601060
construct special values of the duration's representation (\tcode{Rep}). This is
1061-
done because the representation might be a class type with behavior which
1061+
done because the representation can be a class type with behavior that
10621062
requires some other implementation to return these special values. In that case,
10631063
the author of that class type should specialize \tcode{duration_values} to
10641064
return the indicated values.

0 commit comments

Comments
 (0)