!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
探検
C言語なら俺に聞け 157
■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん (ワッチョイ 0345-kMi9)
2021/06/28(月) 11:22:51.50ID:so+vl3vs0557デフォルトの名無しさん (ワッチョイ e521-se0r)
2021/09/14(火) 07:16:50.67ID:0vgLnSzd0 >>556
論文って開いてみたら、タイトルクソワロタ。
論文って開いてみたら、タイトルクソワロタ。
558デフォルトの名無しさん (ワッチョイ ad45-m40g)
2021/09/14(火) 07:26:42.56ID:TY9EyEr50 よかったね
559デフォルトの名無しさん (テテンテンテン MM3e-PBPl)
2021/09/14(火) 09:36:35.35ID:Hja/bGISM 卒論のテーマはこれで決まりだな
560デフォルトの名無しさん (ワッチョイ c55f-m40g)
2021/09/14(火) 10:50:21.10ID:5Y/jembp0 アドレス私って、
b = a;
c = a;
とかやってて、a=0にすると、bもcも0になるってこと?
b = a;
c = a;
とかやってて、a=0にすると、bもcも0になるってこと?
561デフォルトの名無しさん (ワッチョイ ad45-m40g)
2021/09/14(火) 11:31:36.84ID:TY9EyEr50 それは参照だ
C++のな
Cでやるなら
#define b a
#define c a
C++のな
Cでやるなら
#define b a
#define c a
562デフォルトの名無しさん (エムゾネ FF0a-dgdc)
2021/09/14(火) 13:58:37.43ID:eQ96wDaCF >>557
Matz の論文は I hate C++ だぞω
Matz の論文は I hate C++ だぞω
563デフォルトの名無しさん (ワッチョイ a95f-q+67)
2021/09/14(火) 15:48:56.00ID:48wIBTET0 >>556
性能重視の部分は考え方の違いだな。UNIXを作るにあたって不要な部分を取り除いた結果がC。
性能重視の部分は考え方の違いだな。UNIXを作るにあたって不要な部分を取り除いた結果がC。
564デフォルトの名無しさん (ワッチョイ a95f-q+67)
2021/09/14(火) 15:51:55.83ID:48wIBTET0 >>560
メモリのアドレスを直接、渡すから、呼び出し元の領域をそういうふうに直接、触ることになる。
メモリのアドレスを直接、渡すから、呼び出し元の領域をそういうふうに直接、触ることになる。
565ハノン ◆QZaw55cn4c
2021/09/14(火) 17:38:29.69 私は pascal は好きなんですけど‥‥
566デフォルトの名無しさん (ワッチョイ eaad-pW2y)
2021/09/14(火) 23:42:22.10ID:/drSXHoF0 Delphiは昔使ってたな。拡張しまくったPascalというかなんというか。
567デフォルトの名無しさん (ワッチョイ a95f-q+67)
2021/09/15(水) 00:41:20.00ID:h1CB84tY0 アセンブラのようなことができた方がいいというのが出発点だからなあ
568はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 2a3e-wHYb)
2021/09/15(水) 01:36:14.40ID:/JHaU2Oz0 今でこそ C は低レイヤ寄りと見做されるけど「高級言語で OS を書きたい」というモチベーションから作られている。
おそらく当時の感覚からすればむしろアセンブラ的な世界からの脱却だったんじゃないかな。
歴史的経緯はある程度は記録を辿れるけど時代を背景にした「感覚」というのは現代人からはなかなか掴みづらくてあくまでも想像だけど。
おそらく当時の感覚からすればむしろアセンブラ的な世界からの脱却だったんじゃないかな。
歴史的経緯はある程度は記録を辿れるけど時代を背景にした「感覚」というのは現代人からはなかなか掴みづらくてあくまでも想像だけど。
569デフォルトの名無しさん (ワッチョイ a95f-q+67)
2021/09/15(水) 05:11:14.87ID:h1CB84tY0 おおざっぱに言うとアセンブラの見た目を変更したのがC
570デフォルトの名無しさん (ワッチョイ ad45-m40g)
2021/09/15(水) 07:08:27.66ID:+suq2kti0 アセンブラの無駄のなさと、高級言語の移植性の、両取りを狙う試みだね
571ハノン ◆QZaw55cn4c
2021/09/15(水) 14:05:30.69 それはどうでしょうか‥
turbo c の asm 文抜きのいきなりインラインはよく使っていましたが、そんな turbo c でもキャリーフラグを直接使えなかった気がします、そんな記憶がふつふつと
turbo c の asm 文抜きのいきなりインラインはよく使っていましたが、そんな turbo c でもキャリーフラグを直接使えなかった気がします、そんな記憶がふつふつと
572デフォルトの名無しさん (ワッチョイ ad45-m40g)
2021/09/15(水) 14:16:20.72ID:+suq2kti0 ローテート命令はキャリーありの9bit循環とキャリーなしの8bit循環があるから
そこまで言語では面倒見きれなかったってだけ
ステータスレジスタを陽に記述すると移植性なくなるが
そんなことしなくても当時のUNIXの95%を記述できたしな
そこまで言語では面倒見きれなかったってだけ
ステータスレジスタを陽に記述すると移植性なくなるが
そんなことしなくても当時のUNIXの95%を記述できたしな
573デフォルトの名無しさん (ブーイモ MM3e-J6z6)
2021/09/15(水) 15:25:36.81ID:23VOu0KJM #ifdef flagresister取得可能(ならば)
専用式
#elseif
~
専用式
#elseif
~
574デフォルトの名無しさん (ブーイモ MM3e-J6z6)
2021/09/15(水) 15:31:31.69ID:23VOu0KJM みたいな専用式を言語仕様に含めたやり方も出来たかもしれん
当時の演算能力内でwrite once,RA かつアカデミック感目指してomit しちゃったんかな
当時の演算能力内でwrite once,RA かつアカデミック感目指してomit しちゃったんかな
575デフォルトの名無しさん (ラクッペペ MM3e-K+dR)
2021/09/15(水) 16:26:01.26ID:1Mo2XUv5M Keep the language small and simple.
576デフォルトの名無しさん (テテンテンテン MM3e-h3Yj)
2021/09/15(水) 17:05:05.53ID:dV7Qc7xZM577ハノン ◆QZaw55cn4c
2021/09/15(水) 17:16:31.92 >>576
そうなんですね、なんちゃって多倍長をやっていて、ここでローテート&キャリーが使えればなぁぁぁ、とつくづく
そうなんですね、なんちゃって多倍長をやっていて、ここでローテート&キャリーが使えればなぁぁぁ、とつくづく
578はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 2a3e-wHYb)
2021/09/15(水) 17:52:22.20ID:/JHaU2Oz0 >>576-577
TL/1 はあくまでも演算子がキャリー/ボロー付き演算の命令にそのままコンパイルされるってだけなんで、
配列アクセスなどのときに勝手にアドレス計算でフラグが設定されてしまうといった意図しない影響があって
あまり使い勝手は良くない。
あまり詳しくないけど LLVM はキャリーフラグを扱う方法があって
かつレキシカルな伝播として記述できたはずなんで、
たぶん LLVM IR でならなんとか記述できるんじゃないかな。
LLVM IR を高級といえるかどうかはたいへん微妙な話だが……。
TL/1 はあくまでも演算子がキャリー/ボロー付き演算の命令にそのままコンパイルされるってだけなんで、
配列アクセスなどのときに勝手にアドレス計算でフラグが設定されてしまうといった意図しない影響があって
あまり使い勝手は良くない。
あまり詳しくないけど LLVM はキャリーフラグを扱う方法があって
かつレキシカルな伝播として記述できたはずなんで、
たぶん LLVM IR でならなんとか記述できるんじゃないかな。
LLVM IR を高級といえるかどうかはたいへん微妙な話だが……。
579デフォルトの名無しさん (アウアウウー Sa5b-hED7)
2021/09/17(金) 10:00:39.91ID:oDWWsmOUa580デフォルトの名無しさん (テテンテンテン MM8f-vJdV)
2021/09/17(金) 10:32:07.44ID:+c0nDJY5M >>578
例えばこんなを高級言語って言う?
define i32 @main(i32 %argc, i8** %argv) #0 {
%1 = alloca i32, align 4
%2 = alloca i32, align 4
%3 = alloca i8**, align 8
store i32 0, i32* %1
store i32 %argc, i32* %2, align 4
store i8** %argv, i8*** %3, align 8
%4 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([15 x i8]* @.str, i32 0, i32 0))
ret i32 2
}
>>579
ごめん、意味分からん
単なるVTL (Very Tiny Language) の話にしか見えない
例えばこんなを高級言語って言う?
define i32 @main(i32 %argc, i8** %argv) #0 {
%1 = alloca i32, align 4
%2 = alloca i32, align 4
%3 = alloca i8**, align 8
store i32 0, i32* %1
store i32 %argc, i32* %2, align 4
store i8** %argv, i8*** %3, align 8
%4 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([15 x i8]* @.str, i32 0, i32 0))
ret i32 2
}
>>579
ごめん、意味分からん
単なるVTL (Very Tiny Language) の話にしか見えない
581デフォルトの名無しさん (ラクッペペ MM8f-bbAV)
2021/09/17(金) 14:21:22.00ID:g2c8KLlcM >>580
rustよりは高級に見えるな
rustよりは高級に見えるな
582はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 9f3e-IhC7)
2021/09/17(金) 14:42:13.05ID:hv2MZm4l0 >>580
そこから様々なターゲットの機械語を生成しうるという意味では
ハードウェアにベッタリと紐付いているわけではなくて
LLVM IR を低水準言語と呼ぶのはなんか違うなって思うけど、
だからといって日常的に人間が直接書くことを前提においてるわけでもない
という点では高級とも言いにくいかな……という意味で「微妙」と評した。
そこから様々なターゲットの機械語を生成しうるという意味では
ハードウェアにベッタリと紐付いているわけではなくて
LLVM IR を低水準言語と呼ぶのはなんか違うなって思うけど、
だからといって日常的に人間が直接書くことを前提においてるわけでもない
という点では高級とも言いにくいかな……という意味で「微妙」と評した。
583デフォルトの名無しさん (ワッチョイ 171d-QiSa)
2021/09/17(金) 16:26:05.73ID:J/w/zJeW0 シリコンバレーで働いて気付いた「技術力向上」だけに固執するエンジニアのダメさ【Sansan CTO 藤倉成太】
https://type.jp/et/feature/9402/
DeNA×メルカリ×サイバーエージェント人事担当が面接で必ずする質問とは?「技術力だけアピールしても内定は出ない」
https://type.jp/et/feature/10236/
DeNA・メルカリ・CA人事が証言! スキルはあるのに“面接で落ちる”エンジニアに足りないもの
https://type.jp/et/feature/10402/
https://type.jp/et/feature/9402/
DeNA×メルカリ×サイバーエージェント人事担当が面接で必ずする質問とは?「技術力だけアピールしても内定は出ない」
https://type.jp/et/feature/10236/
DeNA・メルカリ・CA人事が証言! スキルはあるのに“面接で落ちる”エンジニアに足りないもの
https://type.jp/et/feature/10402/
584デフォルトの名無しさん (テテンテンテン MM8f-vJdV)
2021/09/17(金) 20:48:41.30ID:M17TGSOPM585はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 9f3e-IhC7)
2021/09/17(金) 20:59:27.14ID:hv2MZm4l0 >>584
JVM のバイトコードは言語ではないと思うから高級言語とは言わないけど、低水準でもないでしょ。
JVM のバイトコードは言語ではないと思うから高級言語とは言わないけど、低水準でもないでしょ。
586デフォルトの名無しさん (テテンテンテン MM8f-vJdV)
2021/09/17(金) 21:50:22.49ID:/PAMmlQoM 低水準の話はしてないから
> 高級言語とは言わない
でFAやね
> 高級言語とは言わない
でFAやね
587はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 9f3e-IhC7)
2021/09/17(金) 22:00:48.37ID:hv2MZm4l0 そうか。
588デフォルトの名無しさん (ワッチョイ 1763-qDHA)
2021/09/17(金) 22:31:46.08ID:C7S/bCm80 C言語だってコンパイルすればバイナリ
589デフォルトの名無しさん (ワッチョイ 9fad-qDHA)
2021/09/18(土) 04:33:04.80ID:iNoegsL20 倍也
590デフォルトの名無しさん (エムゾネ FFbf-hED7)
2021/09/18(土) 08:52:55.38ID:bA/qQPAiF バイトコードをいい加減に扱い過ぎ
591デフォルトの名無しさん (ワッチョイ 1745-I/Yj)
2021/09/18(土) 09:19:07.92ID:1ehO0L4U0 >>580
特定CPUのアーキテクチャに言及してないな
特定CPUのアーキテクチャに言及してないな
592デフォルトの名無しさん (ワッチョイ b7bb-qDHA)
2021/09/18(土) 18:56:12.62ID:RjbxwxKL0 宣言と定義についてなんですが
int a; // 宣言
int b = 1; // 定義
宣言と定義ではどちらもメモリ(スタック)は確保されているという理解であってますか?
int a; // 宣言
int b = 1; // 定義
宣言と定義ではどちらもメモリ(スタック)は確保されているという理解であってますか?
593デフォルトの名無しさん (ワッチョイ 1763-qDHA)
2021/09/18(土) 19:10:22.14ID:bsPUoCV00 はい
594デフォルトの名無しさん (ワッチョイ 1fbd-SDcz)
2021/09/18(土) 19:28:32.87ID:I+biH5jK0 はいじゃないが
595デフォルトの名無しさん (ワッチョイ bfe9-IhC7)
2021/09/18(土) 19:42:16.97ID:jTQBMDyZ0596デフォルトの名無しさん (ワッチョイ ff61-IhC7)
2021/09/18(土) 19:43:03.59ID:XFa1Ksn/0 コンパイラと最適化オプション次第
597デフォルトの名無しさん (ワッチョイ b7bb-qDHA)
2021/09/18(土) 19:48:26.79ID:RjbxwxKL0 >>595
定義は宣言の下位概念ってことですか?
定義は宣言の下位概念ってことですか?
598ハノン ◆QZaw55cn4c (ワッチョイ 9f47-o3tO)
2021/09/18(土) 19:55:00.96ID:/DXMasS60 >>592
いいえ
定義では格納場所を確保しますが、宣言では存在のみ指示しても格納場所は確保されません、私は気が向けば宣言には extern をつけるようにしないわけではない、という感じかな
なおその例は少し変で、代入を伴えば定義というわけでも、代入がなければ宣言というわけでもない、というのが個人的感覚です、詳しい人の解説を希望します
例外は、リンカが頑張って格納場所を作ってくれる例の何とかとかいうキーワードがあったのですがおもいだせません、今日モデルナを射った後転んで頭を打ってしまった、結果、いっそう馬鹿になってしまいました‥‥
いいえ
定義では格納場所を確保しますが、宣言では存在のみ指示しても格納場所は確保されません、私は気が向けば宣言には extern をつけるようにしないわけではない、という感じかな
なおその例は少し変で、代入を伴えば定義というわけでも、代入がなければ宣言というわけでもない、というのが個人的感覚です、詳しい人の解説を希望します
例外は、リンカが頑張って格納場所を作ってくれる例の何とかとかいうキーワードがあったのですがおもいだせません、今日モデルナを射った後転んで頭を打ってしまった、結果、いっそう馬鹿になってしまいました‥‥
599ハノン ◆QZaw55cn4c (ワッチョイ 9f47-o3tO)
2021/09/18(土) 20:04:32.98ID:/DXMasS60 >>592
宣言か定義か、という問題は、単一モジュールでプログラムを構成している段階ではあまり気にしなくてもいいと思います
複数の c ソースを分割コンパイルし、最後に得られたオブジェクトをライブラリともあわせて結合する、という作法に進めば自然に理解できるようになりますのでご心配なさらなくともいいでしょう
私も昔は「extern は要らない子!」とか馬鹿をいっていましたが、これは撤回します、extern がどうしても必要な場面に遭遇したのです
まあそういうわけで一度にいっぺんに賢くなるのは私には難しいことのようです
宣言か定義か、という問題は、単一モジュールでプログラムを構成している段階ではあまり気にしなくてもいいと思います
複数の c ソースを分割コンパイルし、最後に得られたオブジェクトをライブラリともあわせて結合する、という作法に進めば自然に理解できるようになりますのでご心配なさらなくともいいでしょう
私も昔は「extern は要らない子!」とか馬鹿をいっていましたが、これは撤回します、extern がどうしても必要な場面に遭遇したのです
まあそういうわけで一度にいっぺんに賢くなるのは私には難しいことのようです
600デフォルトの名無しさん (ワッチョイ b7bb-qDHA)
2021/09/18(土) 20:41:39.21ID:RjbxwxKL0 >>598
たとえば
int a;
printf("%d\n", a);
なんですが、この場合のaは定義されているということですか?
代入式があるのが定義だと思ってました
宣言と定義の文脈はコードによって変わるということなんですかね
たとえば
int a;
printf("%d\n", a);
なんですが、この場合のaは定義されているということですか?
代入式があるのが定義だと思ってました
宣言と定義の文脈はコードによって変わるということなんですかね
601デフォルトの名無しさん (テテンテンテン MM8f-vJdV)
2021/09/18(土) 21:25:06.90ID:JTl7f6jwM 簡単に言えば宣言はその名前をコンパイラに伝えるもの
定義はその実体を確保するためのもの
>>592の例は両方共に宣言であり定義でもある
C言語では定義のみすると言うのはできないと思う
宣言のみはexternとか前方参照のためのstruct xxx;とかで使われる
定義はその実体を確保するためのもの
>>592の例は両方共に宣言であり定義でもある
C言語では定義のみすると言うのはできないと思う
宣言のみはexternとか前方参照のためのstruct xxx;とかで使われる
602デフォルトの名無しさん (ワッチョイ 97da-jOHa)
2021/09/18(土) 21:44:48.00ID:YluaRA/40 >>596
屁理屈こねんなやボケが
屁理屈こねんなやボケが
603デフォルトの名無しさん (ワッチョイ bfe9-IhC7)
2021/09/18(土) 22:06:39.93ID:jTQBMDyZ0604デフォルトの名無しさん (ワッチョイ b7bb-qDHA)
2021/09/18(土) 22:22:54.90ID:RjbxwxKL0605デフォルトの名無しさん (アウアウウー Sa5b-XGHE)
2021/09/18(土) 22:32:01.92ID:vqHZXwmna606デフォルトの名無しさん (テテンテンテン MM8f-vJdV)
2021/09/18(土) 22:36:06.58ID:/Dm63BCIM607デフォルトの名無しさん (ワッチョイ b7bb-qDHA)
2021/09/18(土) 22:53:55.61ID:RjbxwxKL0608デフォルトの名無しさん (アウアウウー Sa5b-XGHE)
2021/09/18(土) 23:32:59.41ID:vqHZXwmna aは定義されている、でよいと思います
ちなみに、自分は宣言とか定義とか「言葉」は意識しないです
ただ、ここにオブジェクトが実在するのか、他のどこかにあるオブジェクトを使うのかは明確に意識しなければなりません
int main(void) {
int a;
extern int x:
return 0;
}
ここで xは、関数外のどこかで定義された int型のオブジェクを参照します、という宣言
ちなみに、自分は宣言とか定義とか「言葉」は意識しないです
ただ、ここにオブジェクトが実在するのか、他のどこかにあるオブジェクトを使うのかは明確に意識しなければなりません
int main(void) {
int a;
extern int x:
return 0;
}
ここで xは、関数外のどこかで定義された int型のオブジェクを参照します、という宣言
609ハノン ◆QZaw55cn4c (ワッチョイ 9f47-o3tO)
2021/09/18(土) 23:37:35.98ID:/DXMasS60 >>607
そうですね
それに、そのコードは関数 int main(void) も宣言かつ定義していますね
関数の場合は、関数の中身が書いておれば宣言かつ定義、関数の呼び出され方だけしか書いていなければ宣言、とすぐにわかるので、キーワード extern は省かれる傾向にありますね
詳しい人に解説いただき私も感謝します
そうですね
それに、そのコードは関数 int main(void) も宣言かつ定義していますね
関数の場合は、関数の中身が書いておれば宣言かつ定義、関数の呼び出され方だけしか書いていなければ宣言、とすぐにわかるので、キーワード extern は省かれる傾向にありますね
詳しい人に解説いただき私も感謝します
610デフォルトの名無しさん (ワッチョイ 1763-qDHA)
2021/09/18(土) 23:38:56.69ID:bsPUoCV00 質問
externを関数内で宣言したとき、有効範囲は次のどれになりますか?
1.宣言した関数のスコープ内で有効
2.宣言したソースの後続行で有効
3.宣言を書いたソースの全体で有効
externを関数内で宣言したとき、有効範囲は次のどれになりますか?
1.宣言した関数のスコープ内で有効
2.宣言したソースの後続行で有効
3.宣言を書いたソースの全体で有効
611デフォルトの名無しさん (アウアウウー Sa5b-XGHE)
2021/09/18(土) 23:43:44.98ID:vqHZXwmna A.1
612デフォルトの名無しさん (アウアウウー Sa5b-XGHE)
2021/09/18(土) 23:45:59.85ID:vqHZXwmna 通常の変数と同様に、ブロック {} で括られるかと
613はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 9f3e-IhC7)
2021/09/19(日) 00:58:34.79ID:aMl1OG4b0 JISX3010:2003 の 6.7 から抜粋
> 宣言は、幾つかの識別子の解釈及び属性を指定する。
> 識別子の定義 (definition) とは、宣言のうち次のものをいう。
> ・オブジェクトに対しては、そのオブジェクトの記憶域を確保する宣言
> ・関数に対しては、関数本体を含む宣言
> ・列挙定数又は型定義名に対しては、その識別子の(唯一の)宣言
> 宣言は、幾つかの識別子の解釈及び属性を指定する。
> 識別子の定義 (definition) とは、宣言のうち次のものをいう。
> ・オブジェクトに対しては、そのオブジェクトの記憶域を確保する宣言
> ・関数に対しては、関数本体を含む宣言
> ・列挙定数又は型定義名に対しては、その識別子の(唯一の)宣言
614デフォルトの名無しさん (アウアウウー Sa5b-hED7)
2021/09/19(日) 12:56:33.95ID:/yxUr6Cya 関数の中とか{}ブロックの中とかで
#include とか #define 出来れば良いのにと思うことはある
(いや出来ることは出来るけど)
#include とか #define 出来れば良いのにと思うことはある
(いや出来ることは出来るけど)
615デフォルトの名無しさん (ワッチョイ f737-tt/w)
2021/09/19(日) 14:00:14.49ID:k97hf5Wx0 >614
その辺は古い仕様の限界だから……
その辺は古い仕様の限界だから……
616デフォルトの名無しさん (ワッチョイ 97da-jOHa)
2021/09/19(日) 14:08:34.86ID:dcXPbcRy0617デフォルトの名無しさん (ガラプー KK4f-cmG/)
2021/09/19(日) 15:49:36.39ID:1EdICjsOK618デフォルトの名無しさん (アウアウウー Sa5b-XGHE)
2021/09/19(日) 16:19:30.05ID:gqeRua+ma // 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;
でした
勘違いだったらごめんなさい
#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;
でした
勘違いだったらごめんなさい
619デフォルトの名無しさん (アウアウウー Sa5b-XGHE)
2021/09/19(日) 16:24:53.88ID:gqeRua+ma int f(void)
{
__{
____extern int glob:
__}
__return glob + 1; // glob undeclared
}
{
__{
____extern int glob:
__}
__return glob + 1; // glob undeclared
}
620デフォルトの名無しさん (ワッチョイ d721-cDqY)
2021/09/19(日) 18:52:30.28ID:AMdE/BCe0 extern の変数をスコープ内に書きたい場面ってあまり思いつかない。
ヘッダファイルに書くのサボりたい時くらいしかそんな書き方しないな〜
ヘッダファイルに書くのサボりたい時くらいしかそんな書き方しないな〜
621デフォルトの名無しさん (アウアウウー Sa5b-XGHE)
2021/09/19(日) 19:48:44.86ID:gqeRua+ma622デフォルトの名無しさん (テテンテンテン MM8f-vJdV)
2021/09/19(日) 19:52:36.17ID:tWZRSjBtM >>620
俺はそのスコープでしか使わないなら普通にスコープ内に書くけど?
俺はそのスコープでしか使わないなら普通にスコープ内に書くけど?
623621 (アウアウウー Sa5b-XGHE)
2021/09/19(日) 20:02:10.63ID:gqeRua+ma624デフォルトの名無しさん (ワッチョイ 9f63-qDHA)
2021/09/19(日) 20:34:55.88ID:qdWHvjUr0 ひょっとして、#define も関数内で記述すると
そのスコープ内で有効になるのかな?
そのスコープ内で有効になるのかな?
625デフォルトの名無しさん (ワッチョイ d721-cDqY)
2021/09/19(日) 20:40:54.81ID:AMdE/BCe0 >>624
流石にそれはない。
流石にそれはない。
626621 (アウアウウー Sa5b-XGHE)
2021/09/19(日) 20:42:46.70ID:gqeRua+ma #includeとか #defineとか、プリプロセッサが処理する時点では、スコープとか、C言語の文法すら関知しないかも
トークンの
識別くらいで
トークンの
識別くらいで
627デフォルトの名無しさん (ワッチョイ d721-uvbS)
2021/09/19(日) 21:23:46.86ID:AMdE/BCe0 こんな #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;
}
---------------------------------------
---------------------------------------
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;
}
---------------------------------------
628デフォルトの名無しさん (ワッチョイ 775f-hED7)
2021/09/20(月) 10:14:32.45ID:rmuhdvcF0 Cにnamespaceが無いのが逝けない娘
629デフォルトの名無しさん (ワッチョイ 97da-jOHa)
2021/09/20(月) 15:37:40.46ID:ql5RJosy0 いらねぇだろネームスペースなんか
630デフォルトの名無しさん (ワッチョイ 1745-I/Yj)
2021/09/20(月) 16:28:35.49ID:WSYscKBB0 namespaceが欲しいのにC++を使わないのが逝けない娘
太古の昔、Cにクラスが無いのが逝けない娘だと思った人とは行動力が違いすぎるな
太古の昔、Cにクラスが無いのが逝けない娘だと思った人とは行動力が違いすぎるな
631デフォルトの名無しさん (ワッチョイ 9fad-qDHA)
2021/09/20(月) 17:39:30.67ID:WNFThOB/0 CはCのままで良い。他の言語で実現出来ているんだし。その機能を使いたいならそちらの言語を使えば良い。
それでは何かが足りないというのなら新言語作れば良い。
自分では作る技術力がなくても仕様を考えてネットで公開しておけばやがて暇と技術力のある誰かが作ってくれるだろう。
それでは何かが足りないというのなら新言語作れば良い。
自分では作る技術力がなくても仕様を考えてネットで公開しておけばやがて暇と技術力のある誰かが作ってくれるだろう。
632デフォルトの名無しさん (ワッチョイ f737-tt/w)
2021/09/20(月) 18:06:11.00ID:xT0MCUkn0 >622
型を間違えてもエラーにならないから全くお勧めしない
型を間違えてもエラーにならないから全くお勧めしない
633デフォルトの名無しさん (テテンテンテン MM8f-vJdV)
2021/09/20(月) 19:39:36.63ID:QS4OJe2QM634デフォルトの名無しさん (ワッチョイ ffbb-liuG)
2021/09/20(月) 19:50:34.34ID:vvw4JppL0 ミスする可能性が上がるから各コードでexternせずに必要ならヘッダに書いてもらえってことじゃね?
そもそもexternなんてextern "C"以外滅多に使わないけどな
そもそもexternなんてextern "C"以外滅多に使わないけどな
635デフォルトの名無しさん (ワッチョイ 1fbd-SDcz)
2021/09/20(月) 19:57:31.48ID:LO5PkHvF0 >>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になってる
前スレより
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になってる
636ハノン ◆QZaw55cn4c (ワッチョイ 9f47-o3tO)
2021/09/20(月) 20:10:17.55ID:+hQanlE40 >>634
>ミスする可能性が上がるから各コードでexternせずに必要ならヘッダに書いてもらえってことじゃね?
そうそう、extern による宣言と定義とが食い違うとエラーがでますから、そのためのヘッダの分離ということですね
>そもそもexternなんてextern "C"以外滅多に使わないけどな
関数の宣言は extern 省略可能ですし、ライブラリ側で共用のメモリを確保することは滅多にないです私は
>ミスする可能性が上がるから各コードでexternせずに必要ならヘッダに書いてもらえってことじゃね?
そうそう、extern による宣言と定義とが食い違うとエラーがでますから、そのためのヘッダの分離ということですね
>そもそもexternなんてextern "C"以外滅多に使わないけどな
関数の宣言は extern 省略可能ですし、ライブラリ側で共用のメモリを確保することは滅多にないです私は
637621 (アウアウウー Sa5b-XGHE)
2021/09/20(月) 23:40:17.11ID:y5y6BCAna >>635
これは関数のスコープに書かなくても(ファイルスコープでも)同じじゃない?
これは関数のスコープに書かなくても(ファイルスコープでも)同じじゃない?
638621 (アウアウウー Sa5b-XGHE)
2021/09/21(火) 00:23:33.65ID:7n0ZYlgRa639デフォルトの名無しさん (ワッチョイ 1fbd-SDcz)
2021/09/21(火) 00:26:56.39ID:aEoN/PBD0 >>637
同じですね
そもそもexternを明示的に書く必要がある状況って、
あるソースで定義されているグローバル変数を他のソースに公開して使えるようにするために、
ヘッダにextern int a;のように書いておいて、他のソースにはそれを#includeさせる
(すると他のソースでは余計な領域が確保されない)
のパターンが基本だと思っています
だからそもそもブロックスコープでexternするのってなんで? 覗き魔? って思ってしまう
同じですね
そもそもexternを明示的に書く必要がある状況って、
あるソースで定義されているグローバル変数を他のソースに公開して使えるようにするために、
ヘッダにextern int a;のように書いておいて、他のソースにはそれを#includeさせる
(すると他のソースでは余計な領域が確保されない)
のパターンが基本だと思っています
だからそもそもブロックスコープでexternするのってなんで? 覗き魔? って思ってしまう
640デフォルトの名無しさん (ワッチョイ 1745-I/Yj)
2021/09/21(火) 03:22:03.74ID:rkkhSUpi0 ブロックスコープ内でexternはK&R C時代の名残で今は完全に無意味
641デフォルトの名無しさん (ワッチョイ 1745-I/Yj)
2021/09/21(火) 03:23:48.34ID:rkkhSUpi0 関数原型でのexternは単項プラスみたいなもん
staticじゃないよと強調する反対語
staticじゃないよと強調する反対語
642ハノン ◆QZaw55cn4c (ワッチョイ 9f47-o3tO)
2021/09/21(火) 03:36:19.96ID:9i80hc760 >>639
>ヘッダにextern int a;のように書いておいて、他のソースにはそれを#includeさせる
「他のソース」でないソースも、そのヘッダを #include しておけばダチェックにもなるし
>ヘッダにextern int a;のように書いておいて、他のソースにはそれを#includeさせる
「他のソース」でないソースも、そのヘッダを #include しておけばダチェックにもなるし
643デフォルトの名無しさん (ワッチョイ f737-tt/w)
2021/09/21(火) 19:14:32.01ID:8eqDWQ5I0644621 (アウアウウー Sa5b-XGHE)
2021/09/21(火) 22:41:16.78ID:rS8f3YVDa // b.c
char a[] = { 0, 1 };
// a.c
int main()
{
__extern int *a;
__printf("%d\n", a[1]):
__return 0;
}
不勉強でした
上のコードは警告もなしにコンパイルが通りますね
実行すると segmentation fault ですが
リンク時はデータ型はチェックされず、名前だけで参照を解決してるのですかね……
古い仕様で、今さら変更はできないんでしょうね、チェックができたとしても
char a[] = { 0, 1 };
// a.c
int main()
{
__extern int *a;
__printf("%d\n", a[1]):
__return 0;
}
不勉強でした
上のコードは警告もなしにコンパイルが通りますね
実行すると segmentation fault ですが
リンク時はデータ型はチェックされず、名前だけで参照を解決してるのですかね……
古い仕様で、今さら変更はできないんでしょうね、チェックができたとしても
645デフォルトの名無しさん (ワッチョイ 1745-I/Yj)
2021/09/21(火) 22:46:25.12ID:rkkhSUpi0 型システムを持たずラベルの綴りのみを手がかりに参照解決するリンカを操るツールの1つだからねCは
リンカにあれもこれもと機能を持たせるのはメインフレームのファイルシステムにあれもこれも持たせようとしたVSAMの再来だ
インフラ的なものにアプリの都合を無闇に押しつけるべきではないことを歴史から学ぶべきだぞ
リンカにあれもこれもと機能を持たせるのはメインフレームのファイルシステムにあれもこれも持たせようとしたVSAMの再来だ
インフラ的なものにアプリの都合を無闇に押しつけるべきではないことを歴史から学ぶべきだぞ
646はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 9f3e-IhC7)
2021/09/21(火) 23:19:06.05ID:tYtQqya30 C には「プロトタイプ (関数原型) を持たない関数宣言」があって、
関数の型が曖昧なまま関数が存在することだけを宣言できる。
プロトタイプ (プロトタイプ宣言) がある場合にはその関数を呼出すにあたって実引数と仮引数の間では代入と同じ規則
で (可能な場合には) 暗黙の型変換が適用されるが、プロトタイプがない場合には
既定の実引数拡張 (可変長引数に実引数を渡すときと同じ規則) が適用されて実引数と仮引数の辻褄が
あってないときは未定義という扱いになる。
更には C89 は暗黙の関数宣言という規則があって (C99 では廃止されている)
関数を呼出そうとした時点で関数が宣言されていない場合には実引数の型から一定の規則に基づいて
関数の型を推測し、関数が宣言されたかのように振る舞うことになっている。
なので関数宣言が存在しなくても二度以上の関数呼出しの型に矛盾があれば検出はされる。
もちろん関数定義の実体と辻褄があってなかったらそれは未定義だけど。
このあたりのクソみたいな規則は「C++ では採用しなかった仕様」として D&E でちょっと触れられてる。
関数の型が曖昧なまま関数が存在することだけを宣言できる。
プロトタイプ (プロトタイプ宣言) がある場合にはその関数を呼出すにあたって実引数と仮引数の間では代入と同じ規則
で (可能な場合には) 暗黙の型変換が適用されるが、プロトタイプがない場合には
既定の実引数拡張 (可変長引数に実引数を渡すときと同じ規則) が適用されて実引数と仮引数の辻褄が
あってないときは未定義という扱いになる。
更には C89 は暗黙の関数宣言という規則があって (C99 では廃止されている)
関数を呼出そうとした時点で関数が宣言されていない場合には実引数の型から一定の規則に基づいて
関数の型を推測し、関数が宣言されたかのように振る舞うことになっている。
なので関数宣言が存在しなくても二度以上の関数呼出しの型に矛盾があれば検出はされる。
もちろん関数定義の実体と辻褄があってなかったらそれは未定義だけど。
このあたりのクソみたいな規則は「C++ では採用しなかった仕様」として D&E でちょっと触れられてる。
647デフォルトの名無しさん (ワッチョイ 1745-I/Yj)
2021/09/21(火) 23:25:07.21ID:rkkhSUpi0 > 実引数の型から一定の規則に基づいて関数の型を推測し
func(1);
↓
int func();
func("string");
↓
int func();
こうなるだけで推測なんて気の利いたことはしないよ
func(1);
↓
int func();
func("string");
↓
int func();
こうなるだけで推測なんて気の利いたことはしないよ
648621 (アウアウウー Sa5b-XGHE)
2021/09/21(火) 23:27:49.11ID:rS8f3YVDa プロトタイプ宣言は C++からの逆輸入だからな….
その昔の Cったら
その昔の Cったら
649はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 9f3e-IhC7)
2021/09/21(火) 23:34:12.47ID:tYtQqya30 >>647
あ、ほんまやな。
仕様上のルールは「extern int func(); が書かれていたものとみなす」というだけで、
具体的なチェックをどこまでするかは処理系次第 (たぶんあまり真面目にやってなかったと思うけど) だな。
あ、ほんまやな。
仕様上のルールは「extern int func(); が書かれていたものとみなす」というだけで、
具体的なチェックをどこまでするかは処理系次第 (たぶんあまり真面目にやってなかったと思うけど) だな。
650デフォルトの名無しさん (ワッチョイ ff46-bwRU)
2021/09/22(水) 05:28:22.60ID:iWoXuoBc0651デフォルトの名無しさん (ワッチョイ 9fad-QxrA)
2021/09/22(水) 14:25:23.40ID:Te29kBsr0 どうだったっけなあ?
652はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 9f3e-IhC7)
2021/09/22(水) 14:32:16.52ID:1hd+XsHu0 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)
からの影響ということで間違いないと思う。
APPENDIX A 8.3 Declarators を見る限りでは
引数リストが空の形式しかないように見える。
関数であるということは宣言できるが型チェックはガバガバっぽい。
D&E の 2.6 静的タイプチェック の項では
> C with Classes のシンタクスとルールはその後 ANSI C の規格にも採用されたが
> C with Classes の最初の実装の時点ですでに完全な形をしていた。
という一文があるので C の型チェックは C++ (の前身である C with Classes)
からの影響ということで間違いないと思う。
653デフォルトの名無しさん (エムゾネ FFbf-hED7)
2021/09/22(水) 14:42:52.46ID:KzVGjGnLF 初耳だわ
はちみつは何歳?
はちみつは何歳?
654デフォルトの名無しさん (ワッチョイ bfe7-I/Yj)
2021/09/22(水) 15:34:35.81ID:p7uTNZa70 47歳くらいだと思う
655ハノン ◆QZaw55cn4c (ワッチョイ 9f47-o3tO)
2021/09/22(水) 17:51:09.10ID:z5uxQYPx0 >>644
そのコード、仮に a.c で
extern int *a;
ではなくて
extern char *a;
であってもセグフォが出ると思います、試してませんけど‥‥
なにか二重に勘違いしてませんか?それとも私が二重に勘違いしているのか?
そのコード、仮に a.c で
extern int *a;
ではなくて
extern char *a;
であってもセグフォが出ると思います、試してませんけど‥‥
なにか二重に勘違いしてませんか?それとも私が二重に勘違いしているのか?
656はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 9f3e-IhC7)
2021/09/22(水) 18:02:31.76ID:1hd+XsHu0 >>655
配列として定義したものをポインタとして宣言するのは間違いだな。
配列として定義したものをポインタとして宣言するのは間違いだな。
657はちみつ餃子 ◆8X2XSCHEME (ワッチョイ 9f3e-IhC7)
2021/09/22(水) 18:04:06.47ID:1hd+XsHu0 FAQ に書いてあったわ。
http://www.c-faq.com/aryptr/aryptr1.html
http://www.c-faq.com/aryptr/aryptr1.html
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【前橋市】小川晶前市長とラブホテルで打ち合わせをした54歳男性職員を停職処分 今月末で依願退職するという [シャチ★]
- 【おこめ券】鈴木農相 米価維持の意図「一切ない」★2 [ぐれ★]
- 【埼玉】「無免許で高速道路で事故」トラックの追突事故で10代男性死亡 無免許過失運転致死の疑いでトルコ国籍の男(22)逮捕 戸田市 [ぐれ★]
- バリ島で男子生徒ら集団万引きか、防犯カメラ映像が拡散 京都の大谷中学・高校が「窃盗行為」謝罪★6 [七波羅探題★]
- 広島・廿日市、おこめ券配布せず 全市民に3000円現金給付へ [どどん★]
- 【警視庁】走行中の電車で女性に露出した下半身押しつけたか 無職の男(46)逮捕「チャンスがあればいつでもやる」 [nita★]
- 【実況】博衣こよりのえちえちチーズケーキを仕込み(雑談あり)🧪★2
- じゃあ何券だったら、日本人は満足したんだよ [452836546]
- 【速報】1ポンド210円で日英GDP逆転(残り1.5円)...世界6位の経済規模に転落 [237216734]
- 悪気はないのに、不意に相手を傷付けてしまう事ってあるんだな
- 朝日新聞記者「中国軍のレーダー照射はこめかみに銃を突きつけられたのと同じ。僕なら反撃して撃墜してる」高市 [931948549]
- 僕が未だに紙の単行本を集めてる漫画が「ご注文はうさぎですか?」「ゆるゆり」「大室家」「邪神ちゃんドロップキック」なんだが
