X

C++相談室 part139

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん (ﾜｯﾁｮｲ f65b-zn+7)
垢版 |
2018/10/06(土) 00:59:48.54ID:CdYUXXMG0
次スレを立てる時は本文の1行目に以下を追加して下さい。
!extend:on:vvvvv:1000:512

C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。

前スレ
C++相談室 part137 (正しくはpart138)
http://mevius.5ch.net/test/read.cgi/tech/1535353320/

このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.103【環境依存OK】
https://mevius.5ch.net/test/read.cgi/tech/1530384293/

■長いソースを貼るときはここへ。■
　http://codepad.org/
　https://ideone.com/

[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)

----- テンプレ ここまで -----
VIPQ2_EXTDAT: default:vvvvv:1000:512:----: EXT was configured
0546デフォルトの名無しさん (ﾜｯﾁｮｲ 1a23-GcNG)
垢版 |
2018/12/05(水) 00:32:10.11ID:IHVRryeE0
https://kagasu.hatenablog.com/entry/2017/05/02/120156

このページで、例えば

ifs.imbue(locale(locale::empty(), new codecvt_utf16<wchar_t, 0x10ffff, consume_header>));

というのがあって、locale()の第二引数でnewされたものがありますが、
これをdeleteする記述が見当たりません。
他のページでも同様です。
リークしてそうで怖いのですが、一体どこでdeleteされてるんでしょうか？？
0549デフォルトの名無しさん (ﾜｯﾁｮｲ dbe7-hzet)
垢版 |
2018/12/05(水) 18:46:56.03ID:ASlfAML90
普通にどうプログラムを書いていいのかわらないので
質問したいのですがよろしいですか？
すれ違いならすいません
0550デフォルトの名無しさん (ﾜｯﾁｮｲ 1723-C97y)
垢版 |
2018/12/05(水) 18:51:05.82ID:kX9gokKe0
書いてみ
0551デフォルトの名無しさん (ﾜｯﾁｮｲ dbe7-hzet)
垢版 |
2018/12/05(水) 19:04:59.96ID:ASlfAML90
図１
０００
０００
０００
図1の０の部分を0から9までのすべての数字に置き換えたものを
表示して変数に格納する
図では３X3にしましたがｎXｎだとしてください。
説明が下手かもしれませんがよろしくお願いします
0552デフォルトの名無しさん (ﾜｯﾁｮｲ 1723-C97y)
垢版 |
2018/12/05(水) 19:17:46.46ID:kX9gokKe0
0から9までのすべての数字は10個あるが
場所は9個しかないがどうするの
0553デフォルトの名無しさん (ｱｳｱｳｳｰ Sa47-+RRK)
垢版 |
2018/12/05(水) 19:19:02.10ID:A1G7ulzba
表示も必要？
0554デフォルトの名無しさん (ﾜｯﾁｮｲ dbe7-hzet)
垢版 |
2018/12/05(水) 19:34:26.69ID:ASlfAML90
説明が下手ですいません
２３６
０００
０１１
こんな感じで9か所すべてに0から９まで入ったものを全パターン格納したいです　
0555デフォルトの名無しさん (ﾜｯﾁｮｲ 237f-C0zt)
垢版 |
2018/12/05(水) 19:44:08.41ID:3dIXAL6A0
変数に全パターン格納するのは死ぬほどメモリ食うな
0557デフォルトの名無しさん (ﾜｯﾁｮｲ dbe7-hzet)
垢版 |
2018/12/05(水) 19:55:45.26ID:ASlfAML90
.csvにして出力したいので
excelで手打ちするよりはいいのかなと
0560デフォルトの名無しさん (ﾜｯﾁｮｲ 0bb3-Gcmv)
垢版 |
2018/12/05(水) 21:02:47.61ID:OZlj6GiF0
それは3*3を1次元で考えると
0 0 0 0 0 0 0 0 0
から1ずつ増やして
9 9 9 9 9 9 9 9 9
まで表示して全パターンを変数に格納ってこと？
単純に1桁1バイトで考えると1パターンにつき9桁9バイト必要なので、格納領域だけで9000000000バイト＝約8.4ギビバイト必要なんだけどそういうこと？
1000パターン/秒の速度で表示したとしても104日かかる計算になる。
課題か何か知らないけど、問題を勘違いしてるのでは？
0561デフォルトの名無しさん (ﾜｯﾁｮｲ 1a61-2OVW)
垢版 |
2018/12/05(水) 21:04:45.27ID:zPVAi42/0
>>551
0からN×N桁の 10進数
0562デフォルトの名無しさん (ﾜｯﾁｮｲ 0bb3-hzet)
垢版 |
2018/12/05(水) 21:04:58.31ID:RkaIFTNe0
3*3だったら要素数9の配列を用意してループで回せばいいだけじゃないの？
0563デフォルトの名無しさん (ﾜｯﾁｮｲ 1a12-y69T)
垢版 |
2018/12/05(水) 21:12:05.38ID:8vnwU0Eo0
９！≒36万行のcsvが欲しいのか？

４ｘ４だと１６通りで１６！=20?922?789?888?000
おおよそ21京行のcsvファイルが出来上がる

5x5だとwikipediaにもoeisにも載ってないが
15,5112,1004,3330,9859,8400,0000　らしいので
15.5穣行のcsvファイルが出来上がる
Yが一歩手前の??なんで、世界中の記憶媒体を寄せ集めても足りるかどうか・・・

６ｘ６だと３６！の
37,1993,3267,8990,1217,4679,9944,8150,8352,0000,0000
37正
csvファイルを作り終える前に人類滅亡するレヴェル
0564デフォルトの名無しさん (ﾜｯﾁｮｲ dbe7-hzet)
垢版 |
2018/12/05(水) 21:19:06.30ID:ASlfAML90
実際に必要なのは160万通りぐらいだけど無理？
無理なら諦めます
0566デフォルトの名無しさん (ﾜｯﾁｮｲ dbe7-hzet)
垢版 |
2018/12/05(水) 21:25:59.07ID:ASlfAML90
すいません諦めます
ありがとうございました
0567デフォルトの名無しさん (ﾜｯﾁｮｲ 0bb3-hzet)
垢版 |
2018/12/05(水) 22:03:07.79ID:RkaIFTNe0
諦めたらそこで終了だよ！！！
0570デフォルトの名無しさん (ﾜｯﾁｮｲ 0bb3-hzet)
垢版 |
2018/12/05(水) 22:14:00.75ID:RkaIFTNe0
蟻ちゃん、なに終わらせてんのさ。
0572はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 5b6f-n9Ol)
垢版 |
2018/12/06(木) 04:47:25.11ID:bHPTeUA/0
N×N のテーブルを N 種類の値同士の演算結果と考えて
その演算結果が群の性質を満たすパターンだけを取り出す
というような課題はやったことがあるな。

群論的には値の個性は意味がなくて、
たとえば全ての 1 と全ての 2 を交換したようなパターンは
等しいという扱いになってしまうので、
それを除去するのが面倒だった。

いや、この話題の流れには関係ない話なんだけど >>571 を見て思い出したもんだから。
0578デフォルトの名無しさん (ﾜｯﾁｮｲ 497b-Po2/)
垢版 |
2018/12/07(金) 02:14:13.85ID:MQVHpO7o0
部分vectorって言ってるから、Bを参照扱いで挿入出来ないかってことじゃないの？
Bを書き換えたらAにも反映されるみたいな。
まぁ、vectorじゃ構造上無理なんだけど。
0579デフォルトの名無しさん (ﾜｯﾁｮｲ 0123-GoBb)
垢版 |
2018/12/07(金) 14:42:20.03ID:lkrG/qbb0
slice
0580 ◆QZaw55cn4c (ﾜｯﾁｮｲ 5360-460t)
垢版 |
2018/12/07(金) 23:37:48.83ID:iNxdNg3x0
>>572
＞N×N のテーブルを N 種類の値同士の演算結果と考えてその演算結果が群の性質を満たすパターンだけを取り出す
すごく興味がありますね…
準同型を検出するのが難しそうですが、ガウス吐き出し法で同一解（ただす解を小さいもの順に並べなおす）を弾くようにするだけでなんとかなりますか？
ググッてみると、位数12 の群のひとつは、巡回群でも巡回群の直積でもない、これより低位には現れなかった新たなパターン、らしいのです、これはどんな群なのか具体的に知りたいものです
0583デフォルトの名無しさん (ﾜｯﾁｮｲ 899f-QT7o)
垢版 |
2018/12/08(土) 13:35:08.63ID:cc77YSwU0
using FUNC = std::function<void(Params&)>;

struct Params {};

template<> std::tuple<> convert_params(const Params&) { return {}; }
template<> std::tuple<int> convert_params(Params& p) { return 0; }

template<typename... Args>
inline static auto message_handler(void(*func)(Args...))
{ return [=](Params& m) { std::apply(func, convert_params<std::tuple<Args...>>(p)); }; }

template<typename... Args>
inline static auto message_handler(std::function<void(Args...)> func)
{ return [=](Params& m) { std::apply(func, convert_params<std::tuple<Args...>>(p)); }; }

template<typename T, typename... Args>
inline static auto message_handler(void(T::*func)(Args...), T* obj)
{
　assert(obj != nullptr);
　return [=](Params& m)
　{
　　std::apply(func,
　　　std::tuple_cat(
　　　　std::tuple<T&>(*obj),
　　　　convert_params<std::tuple<Args...>>(p))
　　　);
　};
}
0584デフォルトの名無しさん (ﾜｯﾁｮｲ 899f-QT7o)
垢版 |
2018/12/08(土) 13:35:36.54ID:cc77YSwU0
↑の続き

前の投稿で定義した関数を使い、下記の通りに呼び出そうとしているのですが
std::functionを通さずにラムダ直で呼び出した場合に、なんとなく上手にやってくれる
方法がどうしても思いつけません。何か手はないでしょうか？

1 void myfunction(int);
　FUNC func = message_handler(myfunction); // OK グローバル関数

2 void myclass::myfunction(int);
　FUNC func = message_handler(myfunction, this); // OK メンバ関数

3 FUNC func = message_handler([](int){}); // NG ラムダ直

4 std::function<void(int)> myfunction = [](int){};
　FUNC func = message_handler(myfunction); // OK std::function
0588デフォルトの名無しさん (ﾜｯﾁｮｲ 2beb-xqdQ)
垢版 |
2018/12/08(土) 14:59:08.12ID:7QrgfN7v0
>>586
std::decayと同じ働きをするようなもので、ラムダ式を同等の関数ポインタへ変換する（ただしキャプチャをしてはいけない）
なんて調べればいいのかはよくわからない・・・
0589デフォルトの名無しさん (ﾜｯﾁｮｲ d9e3-1aIk)
垢版 |
2018/12/09(日) 14:22:21.02ID:xJ41Kt/M0
突然すまんが、
winnt.h の中に次のような構造体定義があって、外部では、構造体タグ名
_RTL_CRITICAL_SECTION が不完全定義すらもされないで、
_RTL_CRITICAL_SECTION_DEBUG の中でポインタのために使用されている。
仮にこれで、「内部クラス」扱いにならないのだとすれば、
逆に、「内部クラス」を使いたい場合、もし完全定義を与える前に、
不完全なままポインタのために使いたい場合は、どうしたらいいのだろう？

typedef struct _RTL_CRITICAL_SECTION_DEBUG {
WORD Type;
WORD CreatorBackTraceIndex;
struct _RTL_CRITICAL_SECTION *CriticalSection;
LIST_ENTRY ProcessLocksList;
DWORD EntryCount;
DWORD ContentionCount;
DWORD Spare[2];
} RTL_CRITICAL_SECTION_DEBUG,*PRTL_CRITICAL_SECTION_DEBUG;

typedef struct _RTL_CRITICAL_SECTION {
PRTL_CRITICAL_SECTION_DEBUG DebugInfo;
LONG LockCount;
LONG RecursionCount;
HANDLE OwningThread;
HANDLE LockSemaphore;
DWORD Reserved;
} RTL_CRITICAL_SECTION,*PRTL_CRITICAL_SECTION;
0590デフォルトの名無しさん (ﾜｯﾁｮｲ d9e3-1aIk)
垢版 |
2018/12/09(日) 14:26:38.84ID:xJ41Kt/M0
確か、構造体タグ名は、ブロックに名前空間があって、C と C++ で仕様がごちゃごちゃしていた
気がした。
確か、既に定義がある場合は、それが定義された段階の名前空間を使うが、
完全に新規に定義する場合は、最も内側のブロックの名前空間に登録される、という
感じだった気がしたんだけど。

一度も外部では定義も宣言もしなかった場合、最も内側のブロックの名前空間に登録されるの
だとすれば、クラスや構造体内部の内部クラスに関してもそれの応用になって・・・、と思うんだが、
少なくとも、旧来の C のヘッダファイルでは、その解釈ではまずいことになっている気がする。
0591デフォルトの名無しさん (ｱｳｳｨﾌ FF05-GoBb)
垢版 |
2018/12/09(日) 14:59:08.32ID:rgDJoSoNF
struct _RTL_CRITICAL_SECTION;
って行があるんじゃね
0592デフォルトの名無しさん (ﾜｯﾁｮｲ 81f2-Po2/)
垢版 |
2018/12/09(日) 15:15:39.34ID:LCYDMKL+0
不完全な型はそれを解決する必要があるときに完全な定義が得られればいいんで、
それがどこの名前空間に存在するかについてもそのときに解決できればよかったはず。
0593デフォルトの名無しさん (ﾜｯﾁｮｲ d9e3-1aIk)
垢版 |
2018/12/09(日) 17:56:05.02ID:xJ41Kt/M0
>>591
無い気がする。

さっき思ったんだけど、C++ の場合、winnt.h の大部分は、extern "C" {・・・} で囲まれて
パースされて、旧来の C の仕様のままになるので、内部クラスの概念が無いから
あれでいいのかも知れない？？？
0594デフォルトの名無しさん (ﾜｯﾁｮｲ d9e3-1aIk)
垢版 |
2018/12/09(日) 18:15:26.56ID:xJ41Kt/M0
>>592
_XXX_DEBUG の方で、_RTL_CRITICAL_SECTION を _XXX_DEBUG の構造体に所属する
「内部クラス」 に解釈してしまった場合、外側の _RTL_CRITICAL_SECTION では、
タグ名としては同じ名前であっても、コンパイラにとっては全くの別の構造体に見なされて
しまうので、たとえば、ポインタを代入する際に、
　「異なるポインタ型への代入がある」
などのエラーが出る可能性がある。
0600デフォルトの名無しさん (ﾜｯﾁｮｲ 937c-1aIk)
垢版 |
2018/12/10(月) 23:34:55.84ID:Hs8Qkrq90
>>599
>（内部クラスと解釈されたらリンクリストで困るような）

しかし、外部クラスと解釈される場合は、本当に内部クラスにしたい場合で、
それ自身が自己参照を持つリンクリストにしたいような場合に、逆に困る
事になるかも知れない。
0606デフォルトの名無しさん (ﾜｯﾁｮｲ 899f-QT7o)
垢版 |
2018/12/11(火) 10:10:46.46ID:CMkzN/Tv0
>>605の一番近いnamespaceからというのは嘘でした
×https://ideone.com/LpC58v

正しくは、解決不可能だった場合は、同じ階層から選択されるみたい。

AとBがともにNS2に存在する場合
https://ideone.com/m5leMs

コンパイルエラー。 AがNS2 Bがひとつ外側のNS
https://ideone.com/9IY4BC

同階層にBがない場合、グローバルからも選択されることはない。
https://ideone.com/cMhwpW
0608デフォルトの名無しさん (ﾜｯﾁｮｲ d9e3-1aIk)
垢版 |
2018/12/11(火) 14:13:57.27ID:TeIOtXwo0
>>604
ある。
単に人間に見えているタグ名が同じというだけで、コンパイラ内部では、
全く別の識別番号(というより、通常、コンパイラ内部の構造体定義データの先頭アドレス)
になっており、タグ名が同じでも識別番号が異なれば、全く別物と扱われる場合がある。
0609デフォルトの名無しさん (ﾜｯﾁｮｲ d9e3-1aIk)
垢版 |
2018/12/11(火) 15:07:44.16ID:TeIOtXwo0
>>603
ものすごい微妙な動きをするみたいだ・・・。
struct Base の定義を見てみると、外側に既に struct Data が定義されていても、
なぜか、Data は、「nested Data」すなわち、Baseの内部クラスの方を「参照」して
しまうらしい。規則性はどこにあるんだろう。まだ英文読んでないけど。

struct Node {
struct Node* Next; // OK: Refers to Node at global scope
struct Data* Data; // OK: Declares type Data
// at global scope and member Data
};

struct Data {
struct Node* Node; // OK: Refers to Node at global scope
friend struct ::Glob; // error: Glob is not declared, cannot introduce a qualified type ([dcl.type.elab])
friend struct Glob; // OK: Refers to (as yet) undeclared Glob at global scope.
/* ... */
};

struct Base {
struct Data; // OK: Declares nested Data
struct ::Data* thatData; // OK: Refers to ::Data
struct Base::Data* thisData; // OK: Refers to nested Data
friend class ::Data; // OK: global Data is a friend
friend class Data; // OK: nested Data is a friend
struct Data { /* ... */ }; // Defines nested Data
};
0610デフォルトの名無しさん (ﾜｯﾁｮｲ d9e3-1aIk)
垢版 |
2018/12/11(火) 15:29:10.50ID:TeIOtXwo0
【違いの分析】

1. 外部クラスを参照したい場合の書き方：
struct Data {
　struct Node* Node; // OK: Refers to Node at global scope
　・・・
};

2. 内部クラスを参照したい場合の書き方：
struct Base {
　struct Data; // OK: Declares nested Data
　・・・
};

【考察】
後者の方は、「『宣言子』を「何にも書かずに」、ただ不完全定義として、
「struct Data」と書いている。こういう独特の特徴的な書き方で、
新しいタグ名の導入と見なされているのではないか。

一方、前者の方は、 「struct Node」だけではなく、「*Node」という「宣言子」を
書いてしまっているので、新しいタグ名の導入とは見なされない気がする。


先日書いた、CRITICAL なんたらの例では、宣言氏を書いていたので、「1」
の方の扱いとなり、外部クラスの参照と見なされた・・・。
0611はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 5b6f-n9Ol)
垢版 |
2018/12/11(火) 15:34:19.91ID:pCenHJYt0
>>609
D&E の 6.3.1 にそのあたりの解説があるので読んでみると面白いかも。
「病的な例」を含めてわかりやすい解決ルールを作ろうと奮闘したあげくに
まあまあマシなルールとしてそうなったって感じ。
0613デフォルトの名無しさん (ﾜｯﾁｮｲ 2b80-Po2/)
垢版 |
2018/12/11(火) 22:53:03.48ID:yA4tg2d20
ぜんぜん違う
ﾎﾟｲﾝﾀだからｻｲｽﾞが決定できることになる

ﾎﾟｲﾝﾀなら前方宣言で前方参照できる
0614デフォルトの名無しさん (ﾜｯﾁｮｲ 93b3-eP6C)
垢版 |
2018/12/11(火) 22:54:56.40ID:essnCSQz0
2. のほうは構造体を宣言してるから、そこに新しく nested class が作られてる。
1. のほうは構造体へのポインタを宣言してるから、対応する構造体を探して外部の定義を見つけてる。

そんなに微妙でもないと思う。
0615デフォルトの名無しさん (ﾜｯﾁｮｲ 2b80-Po2/)
垢版 |
2018/12/11(火) 22:59:45.95ID:yA4tg2d20
そもそもﾎﾟｲﾝﾀでない場合、前方宣言でなくｸﾗｽ(もしくは構造体)の宣言がないと
ｲﾝｽﾀﾝｽのｻｲｽﾞが決定できないし
ｺﾝｽﾀﾗｸﾄﾀも呼び出せない

普通にｺﾝﾊﾟｲﾙｴﾗｰになる

ｸﾗｽ(もしくは構造体)のﾒﾝﾊﾞにｱｸｾｽする場合も同じく
前方宣言でなくｸﾗｽ(もしくは構造体)の宣言がないと
ﾒﾝﾊﾞがわからない

普通にｺﾝﾊﾟｲﾙｴﾗｰになる
0621デフォルトの名無しさん (ﾜｯﾁｮｲ d9e3-1aIk)
垢版 |
2018/12/12(水) 08:48:09.25ID:RRyKxOPE0
>>614
C/C++ では、ある1つの宣言で、ポインタ変数を定義する場合でも、それと同時に構造体の
宣言(定義)が行われる事がある。たとえば、
TYPE *ptr; は、ポインタ変数の ptr を定義しているが、TYPE の部分が
struct TPerson { ・・・ }
だった場合は、変数 ptr の定義と同時に、構造体 TPerson も定義する。
さらに、TYPE の部分が、
struct TPerson
であった場合も、不完全定義として構造体 TPerson を定義することがある。
実際、先に挙げた例では、1つの行で、全く始めて _RTL_CRITICAL_SECTION 構造体が
出てきて、その不完全定義と同時にその構造体へのポインタ型のメンバ変数を宣言
していた。
0622デフォルトの名無しさん (ﾜｯﾁｮｲ 93b3-eP6C)
垢版 |
2018/12/12(水) 21:29:50.61ID:6r+JK94x0
型が struct TPerson みたいに書かれてて、 TPerson の宣言が見つからない場合、そこで TPerson が前方宣言されたものとして扱われる。
この前方宣言は一番内側の namespace かブロックに所属する扱いになる。

要するに一部の前方宣言は省略できるってだけだよ。
0624デフォルトの名無しさん (ﾜｯﾁｮｲ 93bd-e/g/)
垢版 |
2018/12/12(水) 22:45:13.11ID:rtWaVZVk0
>>622
>>610における2の書き方を前方宣言と解釈するなら、
構造体定義の中で前方宣言可能なﾌﾞﾂが他にはfriendぐらいしか無い件について：
（externは書けない、staticは別の意味になる
しかもfriendは直後に完全型かポインタか参照を要求するですしおすし、
struct Data;という構文の際立ったユニークさは明らかすぐる…
0626デフォルトの名無しさん (ﾜｯﾁｮｲ 93bd-e/g/)
垢版 |
2018/12/12(水) 23:07:33.30ID:rtWaVZVk0
こういうやつ↓↓↓

struct Data;

struct Foo {
　　struct Data* m_pData; // struct Fooはstruct Dataへのリンクを有する
　　/*....*/
};

struct Data {
　　struct Foo* m_pFoo; // Dataはstruct Fooへのリンクを有する
　　/*...*/
};

そもそもなんで型の名前やクラス名だけではなくて、タグ名なんてものが存在し続けているのかというと、
struct Data;というのがやりたかったから、およびその必要が（上のようなケースで）あったからに他ならない
0628デフォルトの名無しさん (ﾜｯﾁｮｲ 8abd-U1IU)
垢版 |
2018/12/13(木) 00:40:06.98ID:6BRdw/E00
>>627
>struct Data* ptr;の記法が特殊なだけで、
(不完全型)* ptr; とされてもコンパイラはptrへの代入や関数に引数渡しするコードを問題なく吐けるから
int val; というのと大して変わらない話
コンパイラにとってはｽｹﾞｰ普通の日常業務

>struct Data;は一貫して前方宣言なのでは？
前方宣言というには>>610における2の書き方で新しいタグ名の導入と見なされるという挙動がﾋﾞｮｰｷ
もはやそれは内部クラスの定義にほぼ等しい（不完全な定義というだけ
0630デフォルトの名無しさん (ﾜｯﾁｮｲ 079f-Buu6)
垢版 |
2018/12/13(木) 00:52:46.20ID:fs9Sguzb0
struct Data* ptr;の記法が特殊な根拠

struct A {
　struct Data* ptr; // ::Data
};

struct A {
　struct Data;
　struct Data* ptr; // A::Data
};


前方宣言のあるなしで、解釈の変わるstruct Data* ptr;の記法はやっぱり特殊なんだと思うけど。
C++において、不完全な型という概念はあるけど、不完全な定義という概念はないのでは？
0631デフォルトの名無しさん (ﾜｯﾁｮｲ 079f-Buu6)
垢版 |
2018/12/13(木) 00:59:11.60ID:fs9Sguzb0
struct A { struct Data* ptr; };
と記述した場合、そこからたどれる名前空間のどの階層であっても
事前に宣言または定義が行われていれば、その時点で特定可能なstruct Dataへのポインタと解釈されるけど、

解決不可能であった場合には、struct Aと同階層にあるstruct Dataとみなされる <- この動作が特殊
0633デフォルトの名無しさん (ﾜｯﾁｮｲ 8abd-U1IU)
垢版 |
2018/12/13(木) 01:25:06.35ID:6BRdw/E00
struct Bar;が前方宣言では「ない」という主張は撤回する
なぜなら、次のコードの(A)、(B)のコメントアウトを外しても
それ自体はエラーにならない（つまりstruct Bar; は同一スコープ内で重複が許される
このときは(D)でエラーになる

しかし、(A)と(B)をコメントアウトすると何のエラーにもならない
むしろstruct Bar* m_pBar; の方が普通に前方宣言的に働く（Fooのスコープに縛られない

#include <stdio.h>
struct Foo {
//struct Bar; // (A)
//struct Bar; // (B)
struct Bar* m_pBar; // (C)
};
struct Bar {
int x;
int y;
};
struct Bar* g_ptr;
int main()
{
Foo test;
test.m_pBar = g_ptr; // (D)
}
0634デフォルトの名無しさん (ﾜｯﾁｮｲ 8abd-U1IU)
垢版 |
2018/12/13(木) 01:32:49.21ID:6BRdw/E00
ちょっち訂正
△： struct Bar;が前方宣言では「ない」という主張
○： 構造体の定義ブロック内のstruct Bar;が前方宣言では「ない」という主張

で、struct Bar* m_pBar; の方が普通に前方宣言的に働く（スコープローカルな新たなタグBarを作ったりしない）のに --(1)
構造体の定義ブロック内のstruct Bar;は明らかにスコープローカルな新たなタグBarを作り出すという変態機能を有している --(2)

つまり(2)を指して一貫して前方宣言だと主張するなら、(1)のstruct Bar* m_pBar;も前方宣言の一種だと言わねば不正直である
0637デフォルトの名無しさん (ﾜｯﾁｮｲ 079f-Buu6)
垢版 |
2018/12/13(木) 08:36:49.07ID:fs9Sguzb0
>>634
>struct Bar;は明らかにスコープローカルな新たなタグBarを作り出す

構造体定義ブロック内に限らずとも、前本宣言はもともとすべてスコープローカルだけど。

それはグローバルであっても、中間階層の名前空間であっても、
多重ネストの構造体の中間階層で会っても同じ。
0638デフォルトの名無しさん (ﾜｲｰﾜ2 FF42-yWnt)
垢版 |
2018/12/13(木) 13:11:12.72ID:zFPTCGevF
拘ってる人は自前でコンパイラでも作ろうとしてるのか？
0640デフォルトの名無しさん (ﾜｯﾁｮｲ 9fe3-S6R4)
垢版 |
2018/12/14(金) 15:03:53.29ID:TcnBR/ER0
最初に質問を書いた者だが、この話は、実は仕様が決まっていて、
記憶だと、手元にある ARM(Annotated Reference Manual) にも、確か
何か書いてあった。

見るのがメンドクサくてここに質問を書いたんだ。スマン。
0641デフォルトの名無しさん (ﾜｯﾁｮｲ 2b23-yWnt)
垢版 |
2018/12/14(金) 17:33:38.94ID:6VLPSm+70
3日で忘れる脳みそ
0642634 (ﾜｯﾁｮｲ 8abd-U1IU)
垢版 |
2018/12/14(金) 20:33:44.26ID:PXFrjbZo0
レス㌧クス、

>>636
なるほどｽｹﾞｰよくわかりた

>>635
構造体の定義ブロック内のint i;は2回同じものを書いたらエラーになるから宣言ではなくて定義じゃわﾊﾟｵｰﾝ
構造体の定義ブロック内のint i;は2回同じものを書いたらエラーになるから宣言ではなくて定義じゃわﾊﾟｵｰﾝ

その他の方々もだいたいおk
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況