C言語なら俺に聞け 157

2021/06/28(月) 11:22:51.50

!extend:checked:vvvvv:1000:512
(新スレ立ての際上記コマンドを2行書き込んでください)
C言語の話題のみ取り扱います C++の話題はC++スレへ
質問には最低限の情報(ソース/コンパイラ/OS)を付ける
数行で収まらないソースは以下を適当に使ってURLを晒す
https://paiza.io/
https://ideone.com/
http://codepad.org/

C11
http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1570.pdf

C99
http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1256.pdf
http://kikakurui.com/x3/X3010-2003-01.html

C FAQ 日本語訳
http://www.kouno.jp/home/c_faq/

JPCERT C コーディングスタンダード
https://www.jpcert.or.jp/sc-rules/

※前スレ
C言語なら俺に聞け 156
https://mevius.5ch.net/test/read.cgi/tech/1601271690/

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2021/09/18(土) 22:36:06.58

>>604
> printf()で参照しない場合はaはただの宣言になると
違う、参照の有無に関わらず領域は確保される
最適化とか鼻から悪魔のコードだから確保を端折るとかはあるけどそれはまた別な話

2021/09/18(土) 22:53:55.61

>>605
>>606

理解しました！

int main(void) {
int a;
return 0;
}

↑のaは定義されていてメモリが確保されている状態ってことですね
また定義は宣言のサブセットだから、この状態を宣言と呼んでもいいということですね

2021/09/18(土) 23:32:59.41

aは定義されている、でよいと思います
ちなみに、自分は宣言とか定義とか「言葉」は意識しないです
ただ、ここにオブジェクトが実在するのか、他のどこかにあるオブジェクトを使うのかは明確に意識しなければなりません

int main(void) {
int a;
extern int x:
return 0;
}

ここで xは、関数外のどこかで定義された int型のオブジェクを参照します、という宣言

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/18(土) 23:37:35.98

>>607
そうですね
それに、そのコードは関数 int main(void) も宣言かつ定義していますね
関数の場合は、関数の中身が書いておれば宣言かつ定義、関数の呼び出され方だけしか書いていなければ宣言、とすぐにわかるので、キーワード extern は省かれる傾向にありますね

詳しい人に解説いただき私も感謝します

2021/09/18(土) 23:38:56.69

質問
externを関数内で宣言したとき､有効範囲は次のどれになりますか？
1．宣言した関数のスコープ内で有効
2．宣言したソースの後続行で有効
3．宣言を書いたソースの全体で有効

2021/09/18(土) 23:43:44.98

A.1

2021/09/18(土) 23:45:59.85

通常の変数と同様に、ブロック {} で括られるかと

2021/09/19(日) 00:58:34.79

JISX3010:2003 の 6.7 から抜粋

> 宣言は、幾つかの識別子の解釈及び属性を指定する。
> 識別子の定義 (definition) とは、宣言のうち次のものをいう。
> ・オブジェクトに対しては、そのオブジェクトの記憶域を確保する宣言
> ・関数に対しては、関数本体を含む宣言
> ・列挙定数又は型定義名に対しては、その識別子の（唯一の）宣言

2021/09/19(日) 12:56:33.95

関数の中とか{}ブロックの中とかで
#include とか #define 出来れば良いのにと思うことはある
(いや出来ることは出来るけど)

2021/09/19(日) 14:00:14.49

>614
その辺は古い仕様の限界だから……

2021/09/19(日) 14:08:34.86

>>614
便利だよね
CSV埋め込みとか

2021/09/19(日) 15:49:36.39

>>610
>>611
2だったような
1の方が合理的だが

2021/09/19(日) 16:19:30.05

// foo.c
#include <stdio.h>

int f(void)
{
extern int glob:
return glob + 1;
}

int main()
{
printf("%d\n", f()); // 124(次行がないとき)
printf("%d\n", glob); // エラー
return 0:
}

// bar.c
int glob = 123;

でした
勘違いだったらごめんなさい

2021/09/19(日) 16:24:53.88

int f(void)
{
__{
____extern int glob:
__}
__return glob + 1; // glob undeclared
}

2021/09/19(日) 18:52:30.28

extern の変数をスコープ内に書きたい場面ってあまり思いつかない。
ヘッダファイルに書くのサボりたい時くらいしかそんな書き方しないな～

2021/09/19(日) 19:48:44.86

>>620
>>608だけど、(関数スコープ内の)宣言のうまい例を思いつきませんでした
自分でもこのような記述はしたことがないです

>>614
ブロック内でも、#includeや#defineは使えるには使えるのでは
使ったことはないけど
ただし、#defineは同じスコープ内で #undefで閉じておかべきだけど
リーダブルコードという本で、define～undefの例を見たような

2021/09/19(日) 19:52:36.17

>>620
俺はそのスコープでしか使わないなら普通にスコープ内に書くけど？

**621** (ｱｳｱｳｳｰ Sa5b-XGHE) · 2021/09/19(日) 20:02:10.63

>>614
「できるにはできるけど」と、ちゃんと書いてありますね
大変失礼しました、ごめんなさい!!

2021/09/19(日) 20:34:55.88

ひょっとして、#define も関数内で記述すると
そのスコープ内で有効になるのかな？

2021/09/19(日) 20:40:54.81

>>624
流石にそれはない。

**621** (ｱｳｱｳｳｰ Sa5b-XGHE) · 2021/09/19(日) 20:42:46.70

#includeとか #defineとか、プリプロセッサが処理する時点では、スコープとか、C言語の文法すら関知しないかも
トークンの
識別くらいで

2021/09/19(日) 21:23:46.86

こんな #define 見たくないけど・・・

---------------------------------------
void func() {
　#define A 100
}
int main() {
　int i = A;
}
---------------------------------------

gcc -E prepro.c
---------------------------------------
# 1 "prepro.c"
# 1 "<built-in>" 1
# 1 "<built-in>" 3
# 384 "<built-in>" 3
# 1 "<command line>" 1
# 1 "<built-in>" 2
# 1 "prepro.c" 2
void func() {

}
int main() {
　int i = 100;
}
---------------------------------------

2021/09/20(月) 10:14:32.45

Cにnamespaceが無いのが逝けない娘

2021/09/20(月) 15:37:40.46

いらねぇだろネームスペースなんか

2021/09/20(月) 16:28:35.49

namespaceが欲しいのにC++を使わないのが逝けない娘

太古の昔、Cにクラスが無いのが逝けない娘だと思った人とは行動力が違いすぎるな

2021/09/20(月) 17:39:30.67

CはCのままで良い。他の言語で実現出来ているんだし。その機能を使いたいならそちらの言語を使えば良い。
それでは何かが足りないというのなら新言語作れば良い。
自分では作る技術力がなくても仕様を考えてネットで公開しておけばやがて暇と技術力のある誰かが作ってくれるだろう。

2021/09/20(月) 18:06:11.00

>622
型を間違えてもエラーにならないから全くお勧めしない

2021/09/20(月) 19:39:36.63

>>632
はあ？
何言ってんの？
頭大丈夫？

2021/09/20(月) 19:50:34.34

ミスする可能性が上がるから各コードでexternせずに必要ならヘッダに書いてもらえってことじゃね？

そもそもexternなんてextern "C"以外滅多に使わないけどな

2021/09/20(月) 19:57:31.48

>>633
前スレより

975 デフォルトの名無しさん (ﾜｯﾁｮｲ b363-19dE) sage 2021/06/21(月) 23:06:35.04 ID:jHz8GYW10
// b.c
int b[] = {123, 456};

// a.c
#include <stdio.h>

int a[] = {123, 456};
int main()
{
　　extern int *b;
　　printf("val b\n");
　　printf("%d\n", *(b + 1));

// printf("val a\n");
// printf("%d\n", *(a + 1));

　return 0;
}

こういう分割ソースをコンパイル、リンクして実行すると、何も表示無しで終了する
デバッガー使って実行してみると、SEGVになってる

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/20(月) 20:10:17.55

>>634
＞ミスする可能性が上がるから各コードでexternせずに必要ならヘッダに書いてもらえってことじゃね？
そうそう、extern による宣言と定義とが食い違うとエラーがでますから、そのためのヘッダの分離ということですね

＞そもそもexternなんてextern "C"以外滅多に使わないけどな
関数の宣言は extern 省略可能ですし、ライブラリ側で共用のメモリを確保することは滅多にないです私は

**621** (ｱｳｱｳｳｰ Sa5b-XGHE) · 2021/09/20(月) 23:40:17.11

>>635
これは関数のスコープに書かなくても(ファイルスコープでも)同じじゃない？

**621** (ｱｳｱｳｳｰ Sa5b-XGHE) · 2021/09/21(火) 00:23:33.65

>>635
これってリンク時にエラーにする方法はないのかね….
あればとっくにやってるんだろうけど…

2021/09/21(火) 00:26:56.39

>>637
同じですね

そもそもexternを明示的に書く必要がある状況って、
あるソースで定義されているグローバル変数を他のソースに公開して使えるようにするために、
ヘッダにextern int a;のように書いておいて、他のソースにはそれを#includeさせる
（すると他のソースでは余計な領域が確保されない）
のパターンが基本だと思っています

だからそもそもブロックスコープでexternするのってなんで？覗き魔？って思ってしまう

2021/09/21(火) 03:22:03.74

ブロックスコープ内でexternはK&R C時代の名残で今は完全に無意味

2021/09/21(火) 03:23:48.34

関数原型でのexternは単項プラスみたいなもん
staticじゃないよと強調する反対語

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/21(火) 03:36:19.96

>>639
＞ヘッダにextern int a;のように書いておいて、他のソースにはそれを#includeさせる
「他のソース」でないソースも、そのヘッダを #include しておけばダチェックにもなるし

2021/09/21(火) 19:14:32.01

>>639
ヘッダに実体がある糞コードで
でも直すなって言われて仕方なくexternすることはあった

**621** (ｱｳｱｳｳｰ Sa5b-XGHE) · 2021/09/21(火) 22:41:16.78

// b.c
char a[] = { 0, 1 };

// a.c
int main()
{
__extern int *a;
__printf("%d\n", a[1]):
__return 0;
}

不勉強でした
上のコードは警告もなしにコンパイルが通りますね
実行すると segmentation fault ですが

リンク時はデータ型はチェックされず、名前だけで参照を解決してるのですかね……

古い仕様で、今さら変更はできないんでしょうね、チェックができたとしても

2021/09/21(火) 22:46:25.12

型システムを持たずラベルの綴りのみを手がかりに参照解決するリンカを操るツールの１つだからねCは
リンカにあれもこれもと機能を持たせるのはメインフレームのファイルシステムにあれもこれも持たせようとしたVSAMの再来だ
インフラ的なものにアプリの都合を無闇に押しつけるべきではないことを歴史から学ぶべきだぞ

2021/09/21(火) 23:19:06.05

C には「プロトタイプ (関数原型) を持たない関数宣言」があって、
関数の型が曖昧なまま関数が存在することだけを宣言できる。

プロトタイプ (プロトタイプ宣言) がある場合にはその関数を呼出すにあたって実引数と仮引数の間では代入と同じ規則
で (可能な場合には) 暗黙の型変換が適用されるが、プロトタイプがない場合には
既定の実引数拡張 (可変長引数に実引数を渡すときと同じ規則) が適用されて実引数と仮引数の辻褄が
あってないときは未定義という扱いになる。

更には C89 は暗黙の関数宣言という規則があって (C99 では廃止されている)
関数を呼出そうとした時点で関数が宣言されていない場合には実引数の型から一定の規則に基づいて
関数の型を推測し、関数が宣言されたかのように振る舞うことになっている。
なので関数宣言が存在しなくても二度以上の関数呼出しの型に矛盾があれば検出はされる。
もちろん関数定義の実体と辻褄があってなかったらそれは未定義だけど。

このあたりのクソみたいな規則は「C++ では採用しなかった仕様」として D&E でちょっと触れられてる。

2021/09/21(火) 23:25:07.21

> 実引数の型から一定の規則に基づいて関数の型を推測し

func(1);
↓
int func();

func("string");
↓
int func();

こうなるだけで推測なんて気の利いたことはしないよ

**621** (ｱｳｱｳｳｰ Sa5b-XGHE) · 2021/09/21(火) 23:27:49.11

プロトタイプ宣言は C++からの逆輸入だからな….
その昔の Cったら

2021/09/21(火) 23:34:12.47

>>647
あ、ほんまやな。
仕様上のルールは「extern int func(); が書かれていたものとみなす」というだけで、
具体的なチェックをどこまでするかは処理系次第 (たぶんあまり真面目にやってなかったと思うけど) だな。

2021/09/22(水) 05:28:22.60

>>648
> プロトタイプ宣言は C++からの逆輸入

そうなの?

2021/09/22(水) 14:25:23.40

どうだったっけなあ？

2021/09/22(水) 14:32:16.52

The C programming language (いわゆる K&R 第一版) の
APPENDIX A 8.3 Declarators を見る限りでは
引数リストが空の形式しかないように見える。
関数であるということは宣言できるが型チェックはガバガバっぽい。

D&E の 2.6 静的タイプチェックの項では

> C with Classes のシンタクスとルールはその後 ANSI C の規格にも採用されたが
> C with Classes の最初の実装の時点ですでに完全な形をしていた。

という一文があるので C の型チェックは C++ (の前身である C with Classes)
からの影響ということで間違いないと思う。

2021/09/22(水) 14:42:52.46

初耳だわ
はちみつは何歳？

2021/09/22(水) 15:34:35.81

47歳くらいだと思う

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/22(水) 17:51:09.10

>>644
そのコード、仮に a.c で
extern int *a;
ではなくて
extern char *a;
であってもセグフォが出ると思います、試してませんけど‥‥

なにか二重に勘違いしてませんか？それとも私が二重に勘違いしているのか？

2021/09/22(水) 18:02:31.76

>>655
配列として定義したものをポインタとして宣言するのは間違いだな。

2021/09/22(水) 18:04:06.47

FAQ に書いてあったわ。
http://www.c-faq.com/aryptr/aryptr1.html

2021/09/22(水) 18:35:41.60

47歳
研究部門に所属
趣味は手芸

**621** (ｱｳｱｳｳｰ Sa5b-XGHE) · 2021/09/22(水) 19:31:52.27

>>655
ありがとうございます

はい、char と char でもダメですね
データ型がことなれば、リンケージできないのではと思い実験してみました

定義側でメモリに配置されているのは値で、extern宣言で参照する側が期待するのはポインタが配置されていることなのでうまくいきませんね(違うかな)

**621** (ｱｳｱｳｳｰ Sa5b-XGHE) · 2021/09/22(水) 19:34:04.23

>>656
こちらで先に指摘がありましたね

2021/09/23(木) 08:15:49.41

>>638
変数に対しても型情報付加したﾏﾝｸﾞﾘﾝｸﾞするぐらいかねぇ？

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/23(木) 10:00:32.79

>>661
アセンブラがリンクできなくなるからヤダ

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/23(木) 10:02:57.46

>>657
thx a lot !
日本語訳は太古の昔から有名どころ、ただし C89 の話だったかも　http://www.kouno.jp/home/c_faq/c6.html#0

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/23(木) 13:38:03.01

>>658
ほとんどプロの人‥‥完璧なアマは私くらいですか

2021/09/23(木) 16:56:05.29

COFF フォーマットを見てるんだが、
関数が返す値の型を格納するところは有っても引数の型については無いみたいだ。
http://delorie.com/djgpp/doc/coff/symtab.html
ヘッダファイルで型情報をやりとりする前提なんだな。

ELF だとたぶん詳細な型も入れられそうな雰囲気があるんだけど複雑でようわからん……。

2021/09/24(金) 19:26:12.39

もしかしてc言語って新たにブロック文つくったら構造体の二重定義って可能になるんですか？
試しに
{
struct a{};
{
struct a{};
}
}
ってcompiler explorerで打ち込んだらcompile通りました。
こんなの初耳です。
ちなみに同じブロック文で二重定義したらcompile errorが起こりました。

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ b247-+9yW) · 2021/09/24(金) 20:31:56.55

>>659
今回の例でもわかるように、無節操にバンバン extern 宣言を複数の C ソースファイルのあちこちに混入させるのは非常にマズイので、
普通はサブモジュールの extern 宣言だけを別のファイルにまとめておいて、そのサブモジュールを使用するソースで #include するのが標準的です
この extern 宣言だけをまとめたファイルを特にヘッダファイルと呼びます
https://ideone.com/rdbae2
実体を定義したサブモジュールもヘッダを #include するようにしておけば、ヘッダの誤りも検出することができます

なにかこういう基本文法を終えた後に位置するべき基本的な作法集をまとめたアドバンス教科書、みたいなものはないものでしょうか？

**621** (ｱｳｱｳｳｰ Sa43-LUZf) · 2021/09/24(金) 20:48:31.47

>>667
ありがとうございます
>>659 == >>621 です

621にもあるとおり、僕もこのような extern宣言を使用したことがありません
他に変数の宣言の例が思いつきませんでした…

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ b247-+9yW) · 2021/09/24(金) 20:54:31.27

>>666
使い道はわからないけれどもできるようですね‥‥無名構造体・異ネスト同一識別子で試してみました
https://ideone.com/eXiadC

2021/09/24(金) 22:23:44.15

>>669
レスありがとうございます
確認してみましたが
この例でなされてるのはdeclarator中の構文要素であるidentifierの例であって、>>666でなされているようなstructトークンとleft-braceトークンの間にあるidentifierを同じのを二度使っている例にはなっていないとおもいます。
僕は後者の仕様は、同じ変数名が複数ソース上にあるとき現在の位置から見て最も内側のブロックで宣言されたものの方で解決するという当たり前の規則だと認識してます
僕にとって謎だと感じるのは前者の仕様です。cの規格のどこからきているのか気になります

2021/09/24(金) 22:25:13.81

>>670
すみません。
このレスの前者は後者に、後者は前者に読み替えてください
間違えました

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ b247-+9yW) · 2021/09/25(土) 06:49:29.05

>>670
https://ideone.com/ORzF28

もう、結論はお出しになっているかと‥‥考えます
規格の話は苦手なのでごめんなさい

2021/09/25(土) 11:02:06.77

>>670
> 同じ変数名が複数ソース上にあるとき現在の位置から見て最も内側のブロックで宣言されたものの方で解決するという当たり前の規則だと認識してます

その「当たり前」の規則は変数名に限ったものじゃくて構造体タグ名についても同じ規則が適用される。
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2596.pdf
6.2.1 Scopes of identifiers
> A label name is the only kind of identifier that has function scope. ...
>
> Every other identifier has scope determined by the placement of its declaration (in a declarator or
> type specifier). ...
> ...
> ... the scope of one entity (the inner scope) will end strictly before the scope of the other
> entity (the outer scope). Within the inner scope, the identifier designates the entity declared in the
> inner scope; the entity declared in the outer scope is hidden (and not visible) within the inner scope.

ただし変数名とタグ名とでは名前空間 (name space) が異なる。

2021/09/25(土) 11:05:50.70

{
int a;
{
int a;
}
}
とやってることは同じ

2021/09/25(土) 16:07:19.71

>>666
二重定義じゃなくて、入れ子構造の中での定義にすぎないからでは？
イメージとしては、コンパイラとしては、外側の構造体は
struct XX_a {}
内側の構造体は
struct X_a_a{}
みたいな感じで管理してコード展開してるだけ。

2021/09/25(土) 16:37:10.46

>>673
出典出してくださってありがとうございます
declarator内かtype specifier内かどっちかで現れたかにも関わらず識別子には同じような規則が適用されるのですね
この知見を趣味のコンパイラづくりに役立てたいと思います
ありがとうございました

2021/10/04(月) 14:36:02.21

int a = -4 % 3; // -1
int b = -3 % 3; // 0
int c = -2 % 3; // -2
int d = -1 % 3; // -1
int e = (-4) % 3; // -1
int f = (-3) % 3; // 0
int g = (-2) % 3; // -2
int h = (-1) % 3; // -1

これは仕様ですか？環境依存ですか？

2021/10/04(月) 14:53:49.95

C90は実装による
C99は被除数と同じ符号　（(ISO/IEC 9899:1999) の 6.5.5 見ろ）ってwiki に書いてあったけど

6節の (a/b) * b + a % b === a と
整数化に際しての丸めの方向から結果的にそう解釈すればいいってことなのかな

2021/10/06(水) 19:35:08.68

まあ環境依存だと割と困ってたので
C99でIntelの実装にあわせただけなんですけどね

2021/10/07(木) 15:44:53.27

>>677-678
C89 で符号が確定して欲しいときには div 関数があるよ。
これの符号は C89 のときから C99 以降の / や % の挙動と同じ。

2021/10/12(火) 19:07:27.42

配列から数個おきに取得するとき、なにかアルゴリズムとかライブラリ関数みたいなものってありませんか？
↓みたいなコードです。nが大きく、物凄い時間掛かっていて...

for(i=0; i<n; i++) a[i] = b[i*3];

2021/10/12(火) 19:16:28.78

boostとvalarrayによる方法がみつかった
https://stackoverflow.com/questions/8404822/create-a-subvector-from-regularly-spaced-elements-of-another-vector
https://en.cppreference.com/w/cpp/numeric/valarray/slice

2021/10/12(火) 19:22:19.41

＞nが大きく、物凄い時間掛かっていて..

オンメモリーで扱えていなさそう

2021/10/12(火) 20:33:05.08

a書とb読で互いにページ追い出されてスラッシングみたいになってんのかねえ

2021/10/12(火) 20:59:19.20

それ、3個おきという意味？

2021/10/12(火) 21:57:57.62

皆様ありがとうございます、Cだとなかなか難しそうですね...
データは数百MBくらいの画像で、mallocで確保した領域にあります。

RGBRGBRGB・・・からRだけを取り出す、みたいな処理で、
頻出しそうだし何かうまい方法あるんじゃないかと思ったんですが。

2021/10/13(水) 00:46:23.98

>>686
ちょっと試してみた
a[] 100MB, b[] 300MB の配列確保して、
配列bを適当に初期化したあと
a[i] = b[i*3]; を実行してみた
それしかしていないが処理は1秒程度だった

64bit環境でメモリ16GB、i7 6700k skylake 4GHz
手持ちのコンパイラは Microsoft(R) 32-bit C/C++
Optimizing Compiler Version 16.00.40219.01 for 80x86

参考になるかな

2021/10/13(水) 00:54:53.24

8ビット無駄になるけど、RGBを 32ビットの整数として、>> と & では？

2021/10/13(水) 00:55:52.69

バイト境界より速いかも

2021/10/13(水) 01:22:15.55

単純な方法でもいうほど遅くなるわけない
最速を目指すならSIMDでやれ

2021/10/13(水) 02:10:45.46

>>686 の説明文で触れてない重たい処理があるのかもしれん

2021/10/13(水) 12:24:48.28

ループ内で他の事をすると格段に遅くなったので（コンパイラの最適化の関係でしょうか？）
他の処理はすべて外に出して、書いた処理だけにしてる状況です。

ちょっとした実験に使いたいコードで、装置からの出力がだいたいGByte/sくらいなので、それに追い付く処理速度が理想なんですが...
並列化勉強しないと無理ですかね...

>>687
テストまでありがとうございます、こちらでもそれくらいのオーダーでした。
環境のせいではなさそうで安心しました。

2021/10/13(水) 20:54:31.47

他の事したらキャッシュの効率落ちるわな
GByte/sってSATA3の速度超えてる
リアルタイムに加工するのはまだまだ無理なんじゃ

2021/10/14(木) 07:22:07.33

FPGAの出番だな

2021/10/14(木) 08:48:28.90

サイズが全然違って参考にならないかもしれないけど、以前テスト用の音声データのサンプリングレート落とす時に似たような事やった時は、a[i] b[j]でi++,j+=3みたいにやった方が早かった記憶。

2021/10/14(木) 16:42:28.33

>>692
コード見てないからなんとも言えないけど、本当にそのループだけで1秒ってのは時間かかりすぎじゃないかな。
このコードでgcc 最適化オプションなしでも0.3秒、-O2なら0.000002秒。
５年くらい前のCore i7 3.3GHz メモリ16GB

勘違いしてないか心配だけどコード。

#include <stdio.h>
#include <stdlib.h>
#include <time.h>

int main(){
int count = 100*1024*1024;

unsigned char *a = (unsigned char*)malloc(count * sizeof(unsigned char));
unsigned char *b = (unsigned char*)malloc(3 * count * sizeof(unsigned char));

clock_t t = clock();
for(int i = 0;i<count;i++){
a[i] = b[i*3];
}
t = clock() - t;
printf("%f\n",(double)t/CLOCKS_PER_SEC);
return 0;
}

2021/10/14(木) 17:04:51.16

>>687 だが、正確に測定したわけではない

＞物凄い時間掛かっていて...

こういう質問だったので､そんなにかからないよという程度の返事
ものすごい時間が掛かると言う処理の内容が分からないとこれ以上は・・・

2021/10/14(木) 18:27:12.03

それは最適化で消えただけだ

2021/10/14(木) 18:45:28.00

>>698
ですよねw -O2で0.18秒。

2021/10/14(木) 19:22:12.25

もしやコードとかアルゴリズムの話じゃなくて、ミリ秒単位を長いと感じるかどうかってことなのか

2021/10/14(木) 20:39:33.49

Gbps出したいんだから当然そうでしょ

2021/10/14(木) 22:30:42.31

>>698
すでに書かれてたか

2021/10/15(金) 00:03:27.81

>>699
volatileつけてM1macで-O0で0.25秒、-O2で0.05秒位だな。普通に間に合いそう。

2021/10/15(金) 01:46:57.39

まったく自信がないのにチャチャ入れるようで申し訳ないのだけど、volatile を書く位置によっても結果がことなるかなと

おそらく a の * の左側に記述したのだと思うけど、動的に確保したメモリに対して有効なのかな…

誰か詳しい人いませんか？

2021/10/15(金) 02:01:35.27

・ volatile で修飾された変数 (メモリ領域) は初期系にとって未知の方法で更新されうるというプログラマから処理系に対するヒント
・ (未知の方法で更新されていても) 言語仕様で定めるところの抽象計算機の動作に厳密に従わなければならない

という規則なので volatile の修飾先が変数 a であってもポインタ a が指す先であってもこの場合は結果的に最適化は抑制されると思う。