(

''

+.(*(N

アダプタ

F 

PP&

F 

6

PLP&

F 

PPF

PF

33!   &

F 

6

PLPF  6

PF

33! 6  &

F 

PPP&

F 

6

PLPP&

F 

PPPF

PPF

33!   &

F 

6

PLPPF 

 6

PPF

33! 6  &

F 

PPP&

F 

6

PPLP&

F 

PPPF

PF

33!  

 &

F 

6

PPLP

F

 6

PF

33! 6 

 &

F 

PPP

P

&

F 

6

PPLP

P

&

F 

PPP

P

F 

PPF

33!  

 &

F 

6

PPLP

P

F

  

6

PPF

33! 6 

 &

R

関数オブジェクトと関数テンプレートとを一緒に使うことによって，ライブラリの表現能力が向上し，結果として，

効率のよいコード にすることができる。

例

"##

プログラムで，

3 %

型を要素とする二つのベクトル，

及び

の要素ごとの加算を行ってその結

果を

に入れるには，次のように書けばよい。

(

  

(  

(  

(  

  &

例

のすべての要素の符号を反転する場合，次のように書けばよい。

(

  

(  

(  

 &

アダプタなどの構成要素が，

個 又は

個の実引数をもつ関数オブジェクトを操作できるようにするには，その関

数オブジェクトに対して，次の型名の定義を提供しておかなければならない。

―

実引数が

個の場合，

及び

―

実引数が

個の場合，

，

及び

基本

次のクラスは，実引数の型 及び 返却値の型に対する型名の定義を容易にするために提供される。

6 

E

P

Q

6

P&

E

P&

R&

6L 

6+ 

E

P

Q

6L

PP

&

6+

P

P

&

E

P&

R&

算術演算

標準ライブラリは，言語自体（

#(

及び

#)

）で規定されるすべての算術演算子に対する基本関

数オブジェクトクラスを提供している。

/

0

&

/((0

5

 

)

(

)

6

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

)

効果  

は，

)

を返す。

/

0

&

/((0

5

 

)

(

)

6

効果  

は，

V

を返す。

/

0

&

/((0

5

 

)

(

)

6

効果  

は，

!

を返す。

/

0

!

&

/((0

5

 

)

(

)

6

効果  

は，

'

を返す。

/

0

&

/((0

5

 

)

(

)

6

効果  

は，

U

を返す。

/

0

&

/(0

5

 

)

6

効果  

は，

V

を返す。

比較演算

標準ライブラリは，言語自体（

#*

及び

#

）で規定されるすべての比較演算子に対する基本関

数オブジェクトクラスを提供している。

/

0

&

/((0

5

 

)

(

)

6

効果  

は，

%%

を返す。

/

0

&

/((0

5

 

)

(

)

76

効果  

は，

[%

を返す。

/

0

&

/((0

5

 

)

(

)

6

効果  

は，

を返す。

/

0

&

/((0

5

 

)

(

)

6

効果  

は，

を返す。

/

0

&

/((0

5

 

)

(

)

6

効果  

は，

%

を返す。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

/

0

&

/(( 0

5

 

)

(

)

6

効果  

は，

%

を返す。

上のテンプレート

，

，

及び

については，その任意のポインタ型に対す

る特殊化は，組み込み演算子の

，

，

%

及び

%

が全順序でなかったとしても，全順序となる。

論理演算

標準ライブラリは，言語自体（

#

，

##

及び

#

）で規定されるすべての論理演算子に対す

る基本関数オブジェクトクラスを提供している。

/

0

&

/((0

5

 

)

(

)

6

効果  

は，

00

を返す。

/

0

&

/(( 0

5

 

)

(

)

6

効果  

は，

11

を返す。

/

0

&

/(0

5

 

)

6

効果  

は，

[

5

を返す。

#

否定子

否定子

L

及び

+

は，単項 及び

項の述語を実引数とし ，その否定を結果として

返す（

#

参照）

。

/

80

&

/

8&&(  0

5

&

8)

 

8&&)

6

効果  

は，

[

を返す。

/

80

/80

8)

返却値  

C

/

80

&

/

8&&  (

8&&  (

0

5

&

8)

 

8&&  )

(

8&&  )

6

効果  

は，

[

を返す。

/

80

/80

1

8)

返却値  

C

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*

(

結合子

結合子

L

及び

+

は，二つの実引数をもつ関数オブジェクト

及び 値

を受け取り，

の第

実引数 又は 第

実引数に

を与えて得られる実引数が一つの関数オブジェクトを返す。

(

クラステンプレート

L

/

90

&

/

9&&   (

9&&0

5

&

9

9&&  

!

&

9)

(

9&&  )

9&&

 

9&&  )

6

効果  

コンストラクタは，

を

で，

を

で初期化する。

返却値  

は，

を返す。

(

L

/

9(

0

/90

9)

(

)

返却値  

LB

B33

  

(

クラステンプレート

+

/

90

1

&

/

9&&  (

9&&0

5

&

9

9&&  

!

&

1

9)

(

9&&  )

9&&

 

9&&  )

6

効果  

コンストラクタは，

を

で，

を

で初期化する。

返却値  

は，

を返す。

(

+

/

9(

0

1/90

1

9)

(

)

返却値  

+B

B33

  

例

P(

  

(  

+

/  &

これは，

より大きい最初の

の要素を見つける。

P(

  

(  

L

/  &

これは，

より小さい最初の

の要素を見つける。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*

)

関数へのポインタに対するアダプタ

標準ライブラリは，次のテンプレートを提供し，

（ 単項 又は

項の）関

数へのポインタを関数アダプタとともに使えるようにしている。

/

:(

;0

&

/:(

;0

5

&

  ; 

 $ :

;

  :

6

効果  

は，

を返す。

/

:(

;0

/ :(

;0

 ;

 $ :

返却値  

6 

E 

/

:(

:1(

;0

&

/:(: 1(;  0

5

&

  ;  

 $ :(

:1

;

  :

(

:1

6

効果  

は，

を返す。

/

:(

:1(

;0

 /: (: 1(;  0

 ;

 $ :(

:1

返却値  

6L 6

+ E

例

P(

  

(  

L+

P

Y7Y   Y7))Y &

これは，列

の中のそれぞれの

:";

を，

:"##;

に置き換える。

メンバへのポインタに関するアダプタ

)

の関数へのポインタに対するのと同じ機能を，メンバへのポ

インタに対して提供する。

/

<(

0

&

/$(

<0

5

&

 <

 &&$

<

  $

6

効果  

は，ポインタ実引数が与えられたとき，それを初期化するためのメンバ関数を呼び出す。

/

<(

(

:0

&

/$(

:(

<0

5

&

 <

 &&$ :

<

  $

(

:

6

効果  

L

は，ポインタ実引数 及び 適当な型のもう一つの実引数が与えられたとき，それを初期化するため

のメンバ関数を呼び出す。

注

関数型への多重ポインタをもつ処理系では，関数テンプレート

%$

も提供する。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*

/

<(

0

/<(0

 <

 &&$

/

<(

(

:0

/<((:0

 <

 &&$ :

効果  

0533 

が返してくる（ 関数）オブジェクトは，それに

5

へのポインタと

に必要な実引数（ もしあ

れば ）とを与えると，

533

を呼び出す。

/

<(

0

&

/(

<0

5

&

 <

 &&$

<

  )

6

効果  

は，参照の実引数が与えられたとき，それを初期化するためのメンバ関数を呼び出す。

/

<(

(

:0

&

/(

:(

<0

5

&

 <

 &&$ :

<

  )

(

:

6

効果  

L

は，参照の実引数 及び 適当な型のもう一つの実引数が与えられたとき，それを初期化するた

めのメンバ関数を呼び出す。

/

<(

0

/<(0

 <

 &&$

/

<(

(

:0

/<((:0

 <

 &&$ :

効果  

0533 

は，

5

への参照 及び

に必要なもう一つの実引数（ もしあれば ）が与えられたときに，

533

を呼び出すことを可能にするオブジェクトを返す。

/

<(

0

&

/$(

<0

5

&

 <

 &&$

<

 

$

6

効果  

は，ポインタ実引数が与えられたとき，それを初期化するためのメンバ関数を呼び出す。

/

<(

(

:0

&

/$(

:(

<0

5

&

 <

 &&$ :

<

 

$

(

:

6

効果  

L

は，ポインタ実引数 及び 適当な型のもう一つの実引数が与えられたとき，それを初期化す

るためのメンバ関数を呼び出す。

/

<(

0

/<(0

 <

 &&$

/

<(

(

:0

/<((:0

 <

 &&$ :

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*

効果  

0533 

は，

5

へのポインタ 及び

に必要なもう一つの実引数（ もしあれば ）が与えられたときに，

533

を呼び出すことを可能にするオブジェクトを返す。

/

<(

0

&

/(

<0

5

&

 <

 &&$

<

 

)

6

効果  

は，参照の実引数が与えられたとき，それを初期化するためのメンバ関数を呼び出す。

/

<(

(

:0

&

/(

:(

<0

5

&

 <

 &&$ :

<

 

)

(

:

6

効果  

L

は，参照の実引数 及び 適当な型のもう一つの実引数が与えられたとき，それを初期

化するためのメンバ関数を呼び出す。

/

<(

0

/<(0

 <

 &&$

/

<(

(

:0

/<((:0

 <

 &&$ :

効果  

0533 

は，参照の実引数 及び

に必要なもう一つの実引数（もしあれば ）が与えられたとき，

それを初期化するためのメンバ関数を呼び出す。

メモリ

ヘッダ

一覧

Q

''

+.(M(L

省略時割付け子

&

&

G

%%

0 

G0 

 &

G

[%

0 

G0 

 &

''

+.(M(+

素記憶域反復子

B< 

PP

&

''

+.(M(*

一時バッファ

! P

PP

P

 &

PP

!

 &

''

+.(M(M

特殊アルゴ リズム

<< 

9<

9<

$P

<

<

<<

9<

 &

9< 

$P

9

<

9<

0

 &

9< 

F$ 

$P

P

9

<

F$

0

 &

''

+.(M(/

ポインタ

5

P&

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*

R

省略時の割付け子

Q

&

''

に対する特殊化

Q

3

!

&

!

P&

''

への参照のメンバはない。

P&

G

Q

G

&

R&

R&

Q

3

$P

$P&

P

P&

!

&

!

P&

0

&

0

P&

P&

G

Q

G

&

R&

 &

0 

 &

G

G0 

 &

X 

 &

&

P

P

&

$P

3

3

P

%

. &

$P

 &

$P

P$ 

 &

0

 &

 &

R&

R

割付け子

のメンバ

返却値  

0

返却値  

0

 '

(

/!0&&  

,

参考

33

$

を使用する（

参照）

。

要件  

は，

であるか，メンバ

から受け取りまだ

に渡されていない値であるかでなけれ

ばならない。

の値は，処理系が性能を改善するために用いてもよい。

返却値  

P

$ 

の大きさをもつ配列の先頭要素へのポインタを返す。この配列は，型

のオブジェクトに対

し境界調整されている。

参考

この記憶域は，

33

$

によって確保される。しかし，この関数が，いつ，どのよう

な頻度で呼ばれるかについては規定しない。また，

の使い方も規定しない。処理系によっては，局所

性を表す意図で用いてもよい。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*

例外  

記憶域が確保できなかった場合，

を送出する。

!

(

'

要件  

は，

によって得られた値でなければならない。

は，

を返した

の呼出しにおける第

引数と等しくなければならない。

効果  

の指す記憶域を解放する。

参考

33

! 

を使用する。しかし ，それがいつ呼び出されるかは規定しない。

'

'

返却値  

A 

. 

が成功する最大の

A

を返す。

!

(

!

返却値  

! 

!

返却値  

! 

 VX 

割付け子

の大域的変数

/

(

10

,,

/0)(

/10)

返却値  

/

(

10

-,

/0)(

/10)

返却値  

素記憶域反復子

素記憶域反復子

は，プログラムが初期化していない記憶域に何ら

かの結果を書き込めるようにする目的で提供してある。テンプレート仮引数

B<

は，

!

が，

へのポ インタを返す

0

の定義されたオブジェクトを返すようにするために必要とし ，また，出力反復子の

要件（

参照）を満足するためにも必要とする。

Q

B< 

PP

3

P

P

Q

3

PP

B

<

 &

PP

B

<

0

! &

PP

B

<

0

%

0

 &

PP

B

<

0

)) &

PP

B

<

)) &

R&

R

 9 =  

効果  

が指すのと同じ値を指す反復子を初期化する。

/9 =  ( 0)

$

返却値  

!

/9 =  ( 0)

,

)

効果  

反復子が指す場所に，

を用いて値を構築する。

返却値  

反復子への参照

/9 =  ( 0)

%%

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*#

効果  

事前増分を行う。すなわち，反復子を一つ進め，その反復子への参照を返す。

/9 =  ( 0

%%

効果  

事後増分を行う。すなわち，反復子を一つ進めるが，進める前の反復子の値を返す。

一時バッファ

/

0

/$(

0

   

効果  

個の隣接した型

のオブジェクトを格納するのに十分な記憶域へのポインタを返す。

返却値  

バッファのアドレス 及び 容量（

$ 

を単位とする。）から成る対を返す。記憶域が確保できなかった

場合は，値

の対を返す。

/

0

!

  $

効果  

が指すバッファを解放する。

要件  

バッファは，

によって確保されたものでなければならない。

特殊アルゴリズム

〜

に示すアルゴリズムにおいて，テンプレート仮引数として使われるす

べての反復子は，

!

が返すオブジェクトに対して

0

が定義されている必要があり，それは

へのポイ

ンタを返す。アルゴリズム

$

では，テンプレート仮引数

<<

は，入力反復子（

）

の要件を満足する必要がある。ここでのすべてのアルゴ リズムにおいて，テンプレート仮引数

9<

は，

前進反復子（

）の要件，及び 変更可能な反復子（

）の要件を満足しなければならないし，これらの反復子

は，増加，代入，比較 又は 有効な反復子間の差分の操作中に例外を送出してはならない。ここでのアルゴ リズムで

は，例外が送出されても無効となる。

$

/

==(

>=0

>=

' = = 

(

==

(

>=

効果  

次のプログラムと同等とする。

&

[%

&

)) 

)) 

P

!

0!

P

9

<

33

P

!

&

返却値  

$

/

>=(

0

!

' > =  

(

>=

(

)

効果  

次のプログラムと同等とする。

&

[%

&

)) 

P

!

0!

  

P

9

<

33

P

&

$

/

>=(

<'(

0

!

' > =  

(

<'

(

)

効果  

次のプログラムと同等とする。

&

VV&

)) 

P

!

0!

  

P

9

<

33

P

&

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*(

#

クラステンプレート

テンプレート

は，

によって得られたオブジェクトへのポイン

タを格納する。そして，

自身が解体されるとき（ 例えば，ブロック有効範囲を抜けるとき）には，格納して

いたポインタが指すオブジェクトを消去する。

テンプレート

は，

への参照を保持する。これは，

のオブジェクトを関数に渡し

たり，関数の返却値としたりするときに用いられる。

Q

J

PP

QR&

5

P

Q

3

5

P&

''

+.(M(/(L

コンストラクタ，コピー，デストラクタ

P5!

%. 

 &

PP

0 

 &

J

PP

J

0

 &

P0

%P

0

 &

J

P0

%P

J

0 

 &

P0

%P

P

5

 &

XP 

 &

''

+.(M(/(+

メンバ

50

! 

 &

5!

V 

 &

5!

 &

5!

 &

5!

%. 

 &

''

+.(M(/(*

型変換

PP

P

5 

 &

J

PPJ 

 &

J

PJ 

 &

R&

R

は，所有権の厳格な意味規則を提供する。

は，それが保持するポインタが指すオブジェクトを

所有する。

をコピーすると，ポインタがコピーされるだけでなく，ポインタが指すオブジェクトに対する

所有権がコピー先に移る。同一のオブジェクトに対し ，複数の

が同時に所有権をもっている場合の動作は，

未定義とする。

参考

を使うことによって，次のことが可能になる。

―

動的に割り付けられたメモリに対し ，例外に対する安全性を一時的に提供する。

―

動的に割り付けられたメモリの所有権を，関数に渡す。

―

動的に割り付けられたメモリを，関数の返却値として返す。

は，標準ライブラリのコンテナ要素に対する二つの要件，コピー構築可能性 及び 代入可能性を

満足しない。したがって，標準ライブラリのコンテナを

を使って具現した場合，その動作は未

定義とする。

#

のコンスト ラクタ

 ?$

,

事後条件  

コンストラクタ実行後，

!

は，ポインタ

を保持する。

 )

効果  

( 

を呼び出す。

事後条件  

コンストラクタ実行後，

!

は，

( 

が返すポインタを保持する。

/

@0

 /@0)

要件  

J!

は，暗黙の型変換で

5!

に変換できなければならない。

効果  

( 

を呼び出す。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*)

事後条件  

コンストラクタ実行後，

!

は，

( 

が返すポインタを保持する。

)

, )

要件  

式

は，適格でなければならない。

効果  

(

  

を呼び出す。

返却値  

!

/

@0

)

, /@0)

要件  

J!

は，暗黙の型変換によって

5!

に変換できなければならない。式

は，適格でなければなら

ない。

効果  

(

  

を呼び出す。

返却値  

!

.

要件  

式

は，適格でなければならない。

効果  

を呼び出す。

#

のメンバ

?)

$

要件  

[%

.

返却値  

! 

?$

A0

返却値  

?$

返却値  

!

が保持するポインタを返す。

?$

返却値  

事後条件  

実行後，

!

は，空ポインタを保持する。

!

 ?$

,

効果  

[%

の場合，

を呼び出す。

事後条件  

実行後，

!

は，ポインタ

を保持する。

#

の型変換

 /?0

効果  

が保持する

に対し

( 

を呼び出す。

事後条件  

実行後，

!

は，

が返したポインタを保持する。

/

@0

/@0

返却値  

!

を保持する

J

を返す。

/

@0

/@0

効果  

を呼び出す。

返却値  

が返したポインタを保持する

J

を返す。

)

, /?0

効果  

が参照を保持する対象の

の

に対して

( 

を呼び出す。

返却値  

!

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*

(

ライブラリ

ヘッダ

を

表

に示す。

表

 

ヘッダ

の要約

種別

名前  

関数

,

,

,

その内容は，次の変更点を除き，

"

ライブラリのヘッダ

(

の内容と同じとする。

関数

，

及び

が記憶域を確保するとき，

33

（

）を用いること

はない。

関数

が記憶領域を解放するとき，

33

を用いることはない。

参照  

6

の

)

ヘッダ

を

表

に示す。

表

 

ヘッダ

の要約

種別

名前  

マクロ

AG??

型

$

関数

,

,

,

,

その内容は，

で規定する

についての変更点を除き，

"

ライブラリのヘッダ

(

の内容と

同じとする。

参照  

6

の

)

#

日付 及び 時刻

ヘッダ

を

表

#

に示す。

表

#

 

ヘッダ

の要約

種別

名前  

マクロ

AG??

型

$

,

,

構造体

関数

,

,

,

,

,

,

,

,

その内容は，

"

ライブラリのヘッダ

(

の内容と同じとする。

参照  

6

の

)

及び

6

追補

の

(

文字列ライブラリ

この箇条では，

:

文字

;

の列を操作するためのライブラリ要素を規定する。このライブラリ

では，任意の

"

互換型（

*

）を文字として扱うことができ，そのような型を文字様の型（

-I

1

）と呼ぶ。

文字様の型のオブジェクトは，文字様のオブジェクト，又は 単に文字（

）と呼ぶ。

表

(

に，

の内容を示す。

表

(

 文字列ライブラリの要約

箇条

ヘッダ  

文字特性

文字列クラス

ナル文字終端列ユーティリティ

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

**

文字特性

では，文字特性（

!

）を表すクラスに対する要求を規定する。そして，この要求

を満たすクラステンプレート

を規定し，それを特殊化した二つのクラス，

及び

を規定する。

及び

)

で規定するほとんどのクラスは，関連する型 及び 関数を与えてはじめて意味が決まる。これらの型

及び 関数は，テンプレート仮引数

:!;

として渡される特性のメンバ型定義 及び メンバ関数として与える。

では，これらのメンバが保証しなければならない意味を規定する。

文字列クラス 又は 入出力ストリームクラスを生成して，特定の文字コンテナ型

7

を扱うには，

7

及び そ

の文字特性クラス

をテンプレート実引数として渡す必要がある。こうした文字テンプレート 又は 入出力ス

トリームテンプレートでは，これらの実引数を受け取るテンプレート仮引数が，

及び

として定義され

ている。このとき，

33

と

7

とは，同一の型でなければならない。

では，構造体テンプレート

を規定し ，その二つの明示的な特殊化である

及び

を規定する。これらは，ヘッダ

に含まれ，

で規定

される要求を満足する。

文字特性に対する要求

表

)

で用いる記号を，次のとおり定義する。

―

5

は，文字コンテナ型

7

に関係する型や関数を記述した文字特性クラス

を表す。

―

及び

は，

7

型の値を表す。

―

及び

は，

7!

型の値を表す。

―

は，

7!

型の値を表す。

―

，

及び

は，

$

型の値を表す。

―

及び

は，

533

型の値を表す。

―

は，

533

型の値を表す。

―

は，

533

型の値を表す。

文字特性に関する操作は，例外を送出してはならない。

表

)

 文字特性

に対する要求

式

返却値の型

表明／参考／事前条件／事後条件

計算量

533

（

で規定する。）

コンパイル時

533

（

で規定する。）

コンパイル時

533

（

で規定する。）

コンパイル時

533

（

で規定する。）

コンパイル時

533

（

で規定する。）

コンパイル時

533  

（ 用いない。）

%

の代入を行う。

定数

533  

返却値  

を

と等しいとして扱える場合

定数

とし ，そうでない場合

とする。

533  

返却値  

が

より小さいとして扱える場合

定数

とし ，そうでない場合

とする。

533   

7,

内のすべての

に対し

533ST 

線形

ST 

が

である場合，

とする。

そうでない場合，

7,

内の ある

に対し

533ST ST

が

となり，

7,

内の

すべての

に対し

533ST ST 

が

と

なる

が存在するとき負の値とする。

そうでない場合，正の値とする。

533 

$

返却値  

533ST

  

が

線形

となる最小の

。

533   

533

返却値  

7,)

内で，

533!  

が

線形

!

となる最小の

。そのような

が存在しない場合，

とする。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

表

)

 文字特性

に対する要求（ 続き）

式

返却値の型

表明／参考／事前条件／事後条件

計算量

533   

533

!

返却値  

7,

内のすべての

に対して

線形

533ST 

S

T 

を実行した後の

。

区間

7,

)

と

7,

)

が重なっていても，

正確にコピーする。

533   

533

!

事前条件  

が

7,)

内に存在しない。

線形

返却値  

7,

内のすべての

に対して

533ST 

S

T 

を実行した後の

を返す。

533   

533

!

7,

内のすべての

に対して

線形

533ST 

を実行した後の

を

返す。

533

533

返却値  

533

 533 

が

定数

のとき

とする。そうでない場合，

533

 533  

が

となる

とする。

533

533

533

 533

  

定数

が

であるような

が存在する場合，

とする。そうでない場合，未規定とする。

533

533

返却値  

及び

定数

の定義によって制約される値

とする。

533

  

返却値  

すべての

及び

に対し ，

定数

533  

の値は，

533

533

  533

に等しい。

でない場合，

と

がど ちらも

533 

のコピーのとき

。

でも

でもない場合，

と

の一方が

533 

のコピーであり，他方が

533 

のコピーでないとき

。

，

，

のいずれでもない場合，

未規定の値とする。

533 

533

すべての

の値に対して，

533

定数

 533

  

が

となる

値

とする。

次の構造体テンプレートを，明示的な特殊化のための基底として，ヘッダ

内で提供しておかなければな

らない。

P&

ここ以降，

の終わりまで，

は，この特性テンプレートの仮引数を表すものとする。

文字特性の型定義

#B:;

型

は，

及び

)

で規定するクラスの実装で用いられる文字コンテナ型を示すのに用いる。

=

要件  

文字コンテナ型

に対し，対応するコンテナ型

<A

が存在する。

<A

は，対応する

の

値から変換されるすべての有効な文字 及び ファイルの終わりを表す値

を表現することができる，型 又は ク

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

ラスとする。型

は，ファイルの終わりを保持可能な文字コンテナ型であり，入出力ストリームクラスで定

義されるメンバ関数の返却値型に用いる。

9>>

89<

要件  

及び

に対する要件は，

)

で規定する。

<:C

要件  

は，型

77

（

）に対する要件を満たしていなければならない。

の特殊化

Q

P

&

P

P

&

R

ヘッダ

では，テンプレート構造体

を特殊化した

種類の構造体を宣言する。

構造体

は，

型に対するテンプレート 構造体

の特殊化とする。この構造体

は，

及び

)

で規定するクラスの動作を保証するのに必要な，すべての型 及び 関数を含む。

それらの型 及び 静的メンバ関数は，

で規定する。

構造体

Q

P

Q

P&

P&

P&

P&

P

P&

P0

L 

P0

+ &

P0

L 

P0

+ &

P0

L 

P0

+ &

P!

L 

P!

+ 

$P

 &

$P

P!

 &

P!

P!

$P

P0

 &

P!

P!

L 

P!

+ 

$P

 &

P!

P!

L 

P!

+ 

$P

 &

P!

P

!

$P

P

 &

P

P

P0

 &

P

PP

P0

 &

P

PP

P0

 &

PP

P0

L 

P0

+ &

P

 &

R&

R

ヘッダ

（

）では，テンプレート構造体

の

に対する特殊化を宣言する。これは，

ナロー文字単位の入出力ストリームクラスに用いる。

この特殊化では，

，

，

及び

が，それぞれ，型

，

，

及び

として定義してある。

型

は，処理系定義とする。ただし ，

CBF

に対する要件（

）を満たしていなければならない。

型

は，処理系定義とする。ただし ，

B99

に対する要件（

）を満たしていなければならない。

型

は，ヘッダ

の中で定義される。この型は，処理系定義の多バイト符号化規則において生じ

うる，すべての変換状態を表せる型とする。

注

?

が

%

を保持可能だとすると，いくつかの入出力ストリーム操作は，意外な結果をもたらすだろう。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

二つの実引数のメンバ

，

及び

は，それぞれ，組込みの演算子

%

，

%%

及び

と同じものとして定義し

てある。

メンバ

は，

8B9

を返却する。

構造体

Q

P

P

Q

P

P&

P

P&

P&

P&

P

P&

P0

L 

P0

+ &

P0

L 

P0

+ &

P0

L 

P0

+ &

P!

L 

P!

+ 

$P

 &

$P

P!

 &

P!

P!

$P

P0

 &

P!

P!

L 

P!

+ 

$P

 &

P!

P!

L 

P!

+ 

$P

 &

P!

P

!

$P

P

 &

P

P

P0

 &

P

PP

P0

 &

P

PP

P0

 &

PP

P0

L 

P0

+ &

P

 &

R&

R

ヘッダ

（

）は，テンプレート構造体

の

に対する特殊化も宣言する。これは，

ワイド 文字単位の入出力ストリームクラスに用いる。

，

及び

として定義される型は，

，

及び

とする。

型

は，処理系定義とする。

は，

で規定された

CBF

の要件を満たしていなければ

ならない。

参考

この段落は，意図的に空とする。

型

は，

の中で定義される。この型は，処理系定義の多バイト符号化規則において生じ うる，

すべての変換状態を表すことができる型とする。

二つの実引数のメンバ

，

及び

は，それぞれ，組込みの演算子

%

，

%%

及び

と同じものとして定義し

てある。

メンバ

は，

I8B9

を返却する。

文字列クラス

ヘッダ

は，すべての文字様（

）のテンプレート実引数を扱うことができる 基本

的な文字列クラステンプレート 及び その特性を定義する。更に，このヘッダでは，文字様の可変長オブジェクト列

を操作するための 幾つかの関数呼出し情報も定義する。

ヘッダ

では，特殊化されたテンプレート クラス，

及び

も定義する。

ヘッダ

の一覧

Q

''

+L(L

文字特性

P&

P

&

P

P

&

''

+L(*

クラステンプレート

P

%

P

6

%

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

P&

6

P

 6

)

P

 6

0

P

 6

0

 &

6

P

 6

)

!

P

 6

0

 &

6

P

 6

)

P

 6

0

 &

6

P

 6

)

P

 6

0

!

 &

6

P

 6

)

P

 6

0

 &

6

%%

P

6

0

P

6

0

 &

6

%%

!

P

6

0

 &

6

%%

P

6

0

!

 &

6

[%

P

6

0

P

6

0

 &

6

[%

!

P

6

0

 &

6

[%

P

6

0

!

 &

6

P

6

0

P

6

0

 &

6

P

6

0

!

 &

6

!

P

6

0

 &

6

P

6

0

P

6

0

 &

6

P

6

0

!

 &

6

!

P

6

0

 &

6

%

P

6

0

P

 6

0

 &

6

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

%

P

6

0

!

 &

6

%

!

P

6

0

 &

6

%

P

6

0

P

6

0

 &

6

%

P

6

0

!

 &

6

%

!

P

6

0

 &

''

+L(*(,(N

6

P

6

0

P

6

0

 &

6

P

0

P

0

P

 6

0

 &

6

P

0

P

0

P

6

0

 &

6

P

0

P

0

P

6

0

 &

6

P

0

P

0

P

6

0

 &

P

&

P

P

&

R

クラステンプレート

クラステンプレート

は，文字様の型

に対し ，可変

個かつ任意の文字様のオブジェクト（

）によって構成される列を保持可能なオブジェクトを定義する。列の先頭位

置の番号は，

とする。このような列は，その文字様の型が文脈から明らかな場合，文字列（

!

）と呼ぶ。以後，

では，

に与えられた文字様の型を

で表す。文字列のための記憶域は，型

のメ

ンバ関数によって，必要に応じて割付け 及び 解放が行われる。この記憶域割付けには，テンプレート仮引数で与え

られた

6

クラスを用いる。

633

は，

と同じでなければならない。

クラステンプレート

は，

で規定する列

!A

に対する要件を満足する。更に，

に対する反復子は，ランダムアクセス反復子（

#

）であるから，

は，逆進可能コン

テナの要件も満足する。

いかなる場合にも，

$ 

%

とする。

で規定する関数は，

種類のエラーを，異なる例外を用いて通知する。

―

長さに関するエラー：

（

*

）

―

範囲外アクセスに関するエラー：

（

*#

）

文字列操作の結果として

$ 

が

$ 

をこえた場合，その操作は，

を送出する。

の列の要素に対する参照，ポインタ 及び 反復子は，

のオブジェクトに対して次のよ

うな操作を行った場合，無効になることがある。

―

非メンバ関数の

（

)

），

（

)*

）及び

（

)*

）の実引数

として用いた場合。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

#

―

33 

の実引数として用いた場合。

―

メンバ関数の

及び

を呼び出した場合。

―

定値でないメンバ関数を呼び出した場合。ただし ，

ST 

，

，

，

，

及び

を除く。

―

上のいずれかの場合に引き続いて（ 反復子を返す

及び

を除く。），定値でないメンバ

関数

ST 

，

，

，

，

又は

を初めて呼び出した場合。

参考

これらの規則は，

を参照カウンタの手法で実装することを許している（そうしなくとも

よい。）

。参照カウンタによる実装は，そうでない実装と同じ意味をもたなければならない。

例

LYY &

33

%

L( &

+

%

L&

!

%

ZZ&

''

変更されるのは，

L

だけでなければならない。

Q

%

P

6

%

P

Q

3

''

型

P&

33P

P&

6

P&

633$P

$P&

633

P

P&

633

&

633P

P&

633

&

633P

P&

処理系定義の型

&

''

+*(L

参照

処理系定義の型

P&

''

+*(L

参照

33P

P

&

33P

P

PP

&

$P

%

VL&

''

+L(*(L

構築／コピー／代入

P

60

%

6  &

P

P0

 &

P

P0

$P

$P

%

60

%

6  &

P

!

$P

60

%

6  &

P

!

60

%

6  &

P$

P

60

%

6  &

<<

P<

<

<<

60

%

6  &

XP 

&

P0

%

P0

 &

P0

%

!

 &

P0

%

 &

''

+L(*(+

反復子

 &

P

&

 &

P

&

P

 &

PP

&

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

(

P

 &

PP

&

''

+L(*(*

容量

$P

$ 

&

$P

&

$P

P$ 

&

$$P

 &

$$P

 &

$P

&

$P

P

%

. &

 &

&

''

+L(*(M

要素へのアクセス

P

ST$

P

&

ST$

P

 &

P

$P

&

$P

 &

''

+L(*(/

変更子

P0

)%

P0

 &

P0

)%

!

 &

P0

)%

 &

P0

P0

 &

P0

P0

$P

$P

 &

P0

!

$P

 &

P0

!

 &

P0

$P

 &

<<

P0

<<

<<

 &

P

 &

P0

P0

 &

P0

P0

$P

$P

 &

P0

!

$P

 &

P0

!

 &

P0

$P

 &

<<

P0

<<

<<

 &

P0

$P

L 

P0

 &

P0

$P

L 

P0

$P

+ 

$P

 &

P0

$P

!

$P

 &

P0

$P

!

 &

P0

$P

$P

 &

 &

$P

 &

<<

<<

<<

 &

P0

$P

%

. 

$P

%

 &

 &

 &

P0

$P

L 

$P

L 

P0

 &

P0

$P

L 

$P

L 

P0

$P

+ 

$P

+ &

P0

$P

$P

L 

!

$P

+ &

P0

$P

$P

L 

!

 &

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

)

P0

$P

$P

L 

$P

+ 

 &

P0

L 

+ 

P0

 &

P0

L 

+ 

!

$P

 &

P0

L 

+ 

!

 &

P0

L 

+ 

$P

 &

<<

P0

L 

+ 

<<

L 

<<

+ &

$P

!

$P

$P

%

. 

&

P

0

 &

''

+L(*(-

文字列操作

!

P 

&

''

明示的

!

&

P

P 

&

$P

P0

$P

%

. 

&

$P

!

$P

$P

&

$P

!

$P

%

. 

&

$P

$P

%

. 

&

$P

P0

$P

%

&

$P

!

$P

$P

&

$P

!

$P

%

&

$P

$P

%

&

$P

PP

P0

$P

%

. 

&

$P

PP

!

$P

$P

&

$P

PP

!

$P

%

. 

&

$P

PP

$P

%

. 

&

$P

PP

P0

$P

%

&

$P

PP

!

$P

$P

&

$P

PP

!

$P

%

&

$P

PP

$P

%

&

$P

PPP

P0

$P

%

. 

&

$P

PPP

!

$P

$P

&

$P

PPP

!

$P

%

. 

&

$P

PPP

$P

%

. 

&

$P

PPP

P0

$P

%

&

$P

PPP

!

$P

$P

&

$P

PPP

!

$P

%

&

$P

PPP

$P

%

&

P

$P

%

. 

$P

%

&

P0

&

$P

L 

$P

L 

P0

&

$P

L 

$P

L 

P0

$P

+ 

$P

+ 

&

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

!

&

$P

L 

$P

L 

!

&

$P

L 

$P

L 

!

$P

+ 

&

R&

R

のコンスト ラクタ，コピー 及び 代入

のすべてのコンストラクタでは，実引数

6

のコピーを使って，コンストラクタ 又は オブジェクト生存期間中のメンバ関数が記憶域の割付けを行う。

:)

,

:

効果  

クラス

のオブジェクトを構築する。この関数の事後条件を

表

に示す。

表

 

60 

の効果

要素

値

コピー可能な非空ポインタ。終端の

が付加してあってもよい。

$ 

未規定の値

/( (:  0 )

/( (:  0 )

(

'

(

'

,

(

:)

,

:

要件  

%

($ 

。

例外  

($ 

の場合，

を送出する。

効果  

クラス

のオブジェクトを構築し ，

表

*

に示すとおり，文字列の初期値の実効長

を，

又

は

($ 

V

の小さいほうの値とする。第

の形式の場合，

6

の値には，

(

によってコピーされたものを使用する。

表

*

 

$

$

60 

の効果

要素

値

割り付けられた，長さ

の領域の先頭要素へのポインタ。この領域には，

の

から

個の要素がコピーされる。

$ 

$ 

以上の値

$

(

'

(

:)

,

:

要件  

は，空ポインタであってはならない。更に，

でなければならない。

参考

この段落は，意図的に空にしてある。

効果  

クラス

のオブジェクトを構築し，

表

に示すとおり，文字列の初期値を，先頭要素が

によっ

て示される長さ

の

型配列から決定する。

表

 

!7

$

7

60 

の効果

要素

値

割り付けられた領域の先頭要素へのポインタ。この領域には，

先頭要素が

で指される配列の最初の

文字がコピーされる。

$ 

$ 

以上の値

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

*

$

(

:)

,

:

要件  

は，空ポインタであってはならない。

効果  

クラス

のオブジェクトを構築し，

表

に示すとおり，文字列の初期値を，先頭要素が

によっ

て示される長さ

33 

の

型配列から決定する。

表

 

! 

60 

の効果

要素

値

割り付けられた領域の先頭要素へのポインタ。この領域には，先

頭要素が

によって示される配列の最初の

33 

個の文字がコピーされる。

$ 

33

$ 

以上の値

参考

33 

を使用する。

 '

(

(

:)

,

:

要件  

でなければならない。

参考

この段落は，意図的に空にしてある。

効果  

クラス

のオブジェクトを構築し ，

表

に示すとおり，

個の全要素について文字様オブジェク

ト

を繰り返すことによって，文字列の初期値を決定する。

表

 

$

60 

の効果

要素

値

割り付けられた領域の先頭要素へのポインタ。各要素は

の値で初期化される。

$ 

$ 

以上の値

/

==0

 ==

(

==

(

:)

,

:

効果  

<<

が汎整数型の場合，次と同じ 。

P

P

$

P

  

P

P

  

そうでない場合，列に対する要件の表（

）に従って，

7,

の範囲内の値から文字列を構築する。

/( (:  0 )

,

/(( :  0)

効果  

!

と

が同じオブジェクトではない場合，

表

に従って

!

を変更する。

表

 

%

60 

の効果

要素

値

先頭要素が

( 

で指される配列のコピーの先頭要素を指すポインタ。

$ 

($ 

$ 

以上の値

!

と

が同じオブジェクトの場合には，何も起こらない。

返却値  

!

。

/( (:  0 )

,

$

返却値  

!

%

6

とする。

参考

33 

を使用する。

/( (:  0 )

,

返却値  

!

%

6

L

とする。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

の反復子

返却値  

文字列中の先頭文字を参照する反復子とする。

返却値  

文字列の末尾の次を指す反復子とする。

!

!

返却値  

意味的に

  

と同等な反復子とする。

!

!

返却値  

意味的に

  

と同等な反復子とする。

の容量に関する操作

'

'

返却値  

文字列がその時点で保持している文字様オブジェクトの個数とする。

'

返却値  

$ 

とする。

'

'

返却値  

文字列の最大長とする。

参考

コンテナに関する要件（

）を参照。

!

' '

(

要件  

%

$ 

。

例外  

$ 

の場合，

を送出する。

効果  

!

の指す文字列の長さを次のとおりに変更する。

―

%

$ 

の場合，

!

を，長さが

の文字列であって，その要素が，元の文字列の要素を先頭から

順にコピーしたものである文字列で置き換える。

―

$ 

の場合，

!

の指す文字列を，長さが

の文字列であって，その要素が，元の文字列の要

素を先頭から順にコピーし ，残りの要素を

で埋めたものである文字列で置き換える。

!

' '

効果  

$

  

。

'

返却値  

文字列に割り付けられている記憶域の容量とする。

!

! '

,

メンバ関数

は，オブジェクト

に対し ，サイズの変更を通知するための指令とする。オブ

ジェクト

は，この指令に応じて記憶域割付けを管理することができる。

効果  

実行後，

の返す値は，

の実引数の値以上となる。

参考

より小さい値を実引数

とした

の呼出しは，実質的には，記憶域の縮小

要求となる。

%

$ 

の場合，現在の文字列長への縮小要求となる。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

例外  

$ 

の場合，

を送出する。

!

効果  

次の関数呼出しと同等。

  

  &

返却値  

$ 

%%

.

とする。

の要素へのアクセス

*+ '

*+ '

返却値  

$ 

の場合，

 ST

とする。

%%

$ 

の場合，

版では

とする。そ

れ以外の場合の動作は，未定義とする。

 '

 '

要件  

$ 

。

例外  

%

$ 

の場合，

を送出する。

返却値  

ST 

とする。

#

の変更操作

#

33)

%

/( (:  0 )

%,

/( (:  0)

返却値  

とする。

/( (:  0 )

%,

$

返却値  

!

)%

 6

とする。

参考

33 

を使用する。

/( (:  0 )

%,

返却値  

!

)%

 6

L 

とする。

#

33

/( (:  0 )

/(0 )

返却値  

. 

とする。

/( (:  0 )

/(0 )

(

'

(

'

要件  

%

($ 

。

例外  

($ 

の場合，

を送出する。

効果  

追加する文字列の実効長

を，

及び

($ 

V

のいずれか小さいほうとする。ここで，

$ 

%

V

の場合，

を送出する。そうでない場合，この関数は，

!

の指す文字列を次のとお

りの文字列に置き換える。

―

長さは，

$ 

)

とする。

―

先頭から

$ 

個の要素は，元の

!

の指す文字列をコピーしたもの。

―

残りの

個の要素は，

の指す文字列を

が指す要素から順にコピーしたもの。

注

は，

"

を用いるので，それが何か例外を送出するかもしれない。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

返却値  

!

とする。

/( (:  0 )

$

(

'

返却値  

 6

とする。

/( (:  0 )

$

返却値  

 6

とする。

参考

33 

を使用する。

/( (:  0 )

 '

(

返却値  

 6

とする。

/

==0

)

 ==

(

==

返却値  

 6

  

とする。

!

4

効果  

$

L  

に同等とする。

#

33

/( (:  0 )

/(0 )

返却値  

. 

とする。

/( (:  0 )

/(0 )

(

'

(

'

要件  

%

($ 

。

例外  

($ 

の場合，

を送出する。

効果  

代入する文字列の実効長

を，

及び

($ 

V

のいずれか小さいほうとする。この関数は，

!

の指す文字列を，長さが

で，その内容は，

の指す文字列を

が指す要素から順にコピーした文字列に置

き換える。

返却値  

!

とする。

/( (:  0 )

$

(

'

返却値  

 6

とする。

/( (:  0 )

$

返却値  

6  

とする。

参考

33 

を使用する。

/( (:  0 )

 '

(

返却値  

 6

とする。

/

==0

)

 ==

(

==

返却値  

 6

  

とする。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

#

33

/( (:  0 )

 '

(

/(( :  0)

返却値  

L

 .

とする。

/( (:  0 )

 '

(

/(( :  0)

(

'

1(

'

要件  

L

%

$ 

かつ

+

%

($ 

でなければならない。

例外  

L

$ 

又は

+

($ 

の場合，

を送出する。

効果  

追加する文字列の実効長

を，

及び

($ 

V

+

のいずれか小さいほうとする。ここで，

$ 

%

V

の場合

を送出する。そうでない場合，この関数は，

!

の指す文字列を次のとお

りの文字列に置き換える。

―

長さは，

$ 

)

とする。

―

先頭から

L

個の要素は，元の

!

の指す文字列を先頭要素から順にコピーしたもの。

―

次の

個の要素は，

の指す文字列を

が指す要素から順にコピーしたもの。

―

残りの要素は，元の

!

の指す文字列のうち，最初の

L

個に続くコピーされなかった要素を順にコ

ピーしたもの。

返却値  

!

とする。

/( (:  0 )

 '

(

$

(

'

返却値  

 6

  

とする。

/( (:  0 )

 '

(

$

返却値  

 6

  

とする。

参考

33 

を使用する。

/( (:  0 )

 '

(

'

(

返却値  

 6

  

とする。

(

7

要件  

は，

!

に対する有効な反復子でなければならない。

効果  

が参照する文字の前に，

のコピーを挿入する。

返却値  

挿入された文字を指す反復子とする。

!

(

'

(

要件  

は，

!

に対する有効な反復子でなければならない。

効果  

が参照する文字の前に，

のコピーを

個挿入する。

/

==0

!

(

==

(

==

要件  

は，

!

に対する有効な反復子でなければならない。

7,

は，正しい範囲でなければならない。

効果  

V

  

  

に同等とする。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

##

33

/( (:  0 )

 '

,

(

'

,

要件  

%

$ 

。

例外  

$ 

の場合，

を送出する。

効果  

削除する文字列の実効長

を，

及び

$ 

V

のいずれか小さいほうとする。この関数は，

!

の指す文字列を次のとおりの文字列に置き換える。

―

長さは，

$ 

V

とする。

―

先頭から

個の要素は，元の

!

の指す文字列を先頭要素から順にコピーしたもの。

―

残りの要素は，元の

!

の指す文字列のうち，

)

の位置にある要素から順にコピーしたもの。

返却値  

!

とする。

要件  

は，

!

に対する有効な反復子でなければならない。

効果  

が指す文字を削除する。

返却値  

削除以前に，

の直後に存在した文字を指す反復子とする。そのような要素が存在しない場合，

とする。

(

要件  

及び

は，

!

に対する有効な反復子であり，

7,

は正しい範囲でなければならない。

効果  

7,

の範囲に含まれる文字を削除する。

返却値  

他の要素が削除される前に，

が指していた要素を指す反復子とする。そのような要素が存在しない場

合，

とする。

#(

33

/( (:  0 )

 '

(

'

(

/( (:  0 )

返却値  

L 

L 

. 

とする。

/( (:  0 )

 '

(

'

(

/( (:  0 )

(

'

1(

'

1

要件  

L

%

$ 

かつ

+

%

($ 

でなければならない。

例外  

L

$ 

又は

+

($ 

の場合，

を送出する。

効果  

削除する文字列の実効長

を，

L

及び

$ 

V

L

のいずれか小さいほうとする。挿入する文字列の

実効長

を，

+

及び

($ 

V

+

のいずれか小さいほうとする。

例外  

$ 

V

%

V

の場合，

を送出する。そうでない場合，この関数は，

!

の指す文字列を次のとおりの文字列に置き換える。

―

長さは，

$ 

V

)

とする。

―

先頭から

L

個の要素は，元の

!

の指す文字列を先頭要素から順にコピーしたもの。

―

次の

個の要素は，

の指す文字列を

+

が指す要素から順にコピーしたもの。

―

残りの要素は，元の

!

の指す文字列の

L

)

で示される要素から順にコピーしたもの。

返却値  

!

とする。

/( (:  0 )

 '

(

'

(

$

(

'

1

返却値  

 L 

6

 +

  

とする。

/( (:  0 )

 '

(

'

(

$

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

#

返却値  

L

 6

  

とする。

参考

33 

を使用する。

/( (:  0 )

 '

(

'

(

'

1(

返却値  

 L 

6

+

  

とする。

)

(

1(

)

要件  

L

及び

+

は，

!

に対する有効な反復子であり，

7L,+

は，正しい範囲でなければならない。

効果  

!

の指す文字列を次のとおりの文字列に置き換える。

―

長さは，

$ 

V

+

V

L 

)

($ 

とする。

―

先頭から

V

L

個の要素は，元の

!

の指す文字列を先頭要素から順にコピーしたもの。

―

続く

($ 

個の要素は，

の指す文字列を先頭要素から順にコピーしたもの。

―

残りの要素は，元の

!

の指す文字列のうち

+

で示される要素から順にコピーしたもの。

返却値  

!

とする。

参考

このメンバ関数呼出しの後，文字列の長さは，

($ 

V

+

V

L 

となる。

)

(

1(

$

(

'

返却値  

L +

   

とする。

参考

文字列の長さは，

V

+

V

L 

となる。

)

(

1(

$

返却値  

L +

  

とする。

参考

文字列の長さは，

33 

V

+

V

L 

となる。

33 

を使用する。

)

(

1(

'

(

返却値  

L +

   

とする。

参考

文字列の長さは，

V

+

V

L 

となる。

/

==0

)

(

1(

==

D(

==

D1

返却値  

L +

L +  

とする。

参考

文字列の長さは，

+

V

L

V

+

V

L 

となる。

#)

33

'

 $

(

'

(

'

,

要件  

%

$ 

でなければならない。

例外  

$ 

の場合，

を送出する。

効果  

コピーされる文字列の実効長

を，

及び

$ 

V

のいずれか小さいほうとする。

の指す文字列

は，少なくとも

個の要素をもつ配列でなければならない。この関数は，

の指す文字列を，長さが

で，そ

の内容が，

!

の指す文字列のうち

で示される要素から順にコピーしたものに置き換える。この関数は，

の

指す文字列の最後に空オブジェクトを追加しない。

返却値  

とする。

#

33

!

 /(  ( :  0)

効果  

二つの文字列の内容を交換する。

要件  

この関数を実行した後では，

!

の内容は，実行前に

が保持していた内容となり，

の内容は，

!

が

保持していた内容となる。

計算量  

定数時間。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

(

(

の文字列操作

$

返却値  

長さが

$ 

)

L

の配列の先頭要素へのポインタとする。この配列の先頭から

$ 

個の要素は，

!

の指す文字列の対応する要素と等しい。最後の要素は，

によって示されるナル文字とする。

要件  

プログラムは，この配列内の要素を変更してはならない。クラス

の定値でないメンバ関数の実

行後は，それ以前にこの関数を使って得たポインタ値を有効なものと見なしてはならない。

$

返却値  

$ 

がゼロでない場合，先頭から

$ 

個の要素が

!

の指す文字列の対応する要素に等しいよう

な配列の先頭要素へのポインタとする。

$ %%.

の場合，コピー可能な空ポインタでないポインタとする。

要件  

プログラムは，この配列内の要素を変更してはならない。クラス

の定値でないメンバ関数の実

行後は，それ以前にこの関数を使って得たポインタ値を有効なものと見なしてはならない。

返却値  

文字列の構築に使われる

6

のオブジェクトとする。

(

33

'

/(( :  0)

(

'

,

効果  

可能ならば ，次の条件を満たす最小の値

を見つける。

―

%

かつ

)

($ 

%

$ 

となる。

―

の指す文字列内のすべての要素

/

について，

)/

%%

(

/

となる。

返却値  

上記の

が見つかった場合，

とする。見つからなかった場合，

とする。

参考

33 

を使う。

'

$

(

'

(

'

返却値  

6

とする。

'

$

(

'

,

返却値  

6

とする。

参考

33 

を使う。

'

(

'

,

返却値  

6

L 

とする。

(

33

'

/( (:  0)

(

'

,

効果  

可能ならば ，次の条件を満たす最大の値

を見つける。

―

%

かつ

)

($ 

%

$ 

となる。

―

の指す文字列内のすべての要素

/

について，

)/

%%

(

/

となる。

返却値  

上記の

が見つかった場合，

とする。見つからなかった場合，

とする。

参考

33 

を使う。

'

$

(

'

(

'

返却値  

 6

  

とする。

'

$

(

'

,

返却値  

 6

  

とする。

参考

33 

を使う。

'

(

'

,

返却値  

 6

L

  

とする。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。

)

(

33

'

/(( :  0)

(

'

,

効果  

可能ならば ，次の条件を満たす最小の値

を見つける。

―

%

かつ

$ 

となる。

―

の指す文字列内のある要素

/

について，

%%

(

/

となる。

返却値  

上記の

が見つかった場合，

とする。見つからなかった場合，

とする。

参考

33 

を使う。

'

$

(

'

(

'

返却値  

6

  

とする。

'

$

(

'

,

返却値  

6

 

とする。

参考

33 

を使う。

'

(

'

,

返却値  

6

L

  

とする。

(

33

'

/( (:   0)

(

'

,

効果  

可能ならば ，次の条件を満たす最大の値

を見つける。

―

%

かつ

$ 

となる。

―

の指す文字列内のある要素

/

について，

%%

(

/

となる。

返却値  

上記の

が見つかった場合，

とする。見つからなかった場合，

とする。

参考

33 

を使う。

'

$

(

'

(

'

返却値  

 6

  

とする。

'

$

(

'

,

返却値  

 6

とする。

参考

33 

を使う。

'

(

'

,

返却値  

 6

L 

  

とする。

(#

33

'

/(( :  0)

(

'

,

効果  

可能ならば ，次の条件を満たす最小の値

を見つける。

―

%

かつ

$ 

となる。

―

の指す文字列内のすべての要素

/

について，

%%

(

/

とならない。

返却値  

上記の

が見つかった場合，

とする。見つからなかった場合，

とする。

参考

33 

を使う。

2019

年

7

月

1

日の法改正により名称が変わりました。まえがきを除き，本規格中の「日本工業規格」を「日本産業規格」に読み替えてください。