C/C++ 構文の意味を教えてください

2019/10/12 23:46

raccyさま返信ありがとうございます。本で少し読んだ程度ですけれど関数テンプレートクラステンプレートの簡単な知識はあります。

行動規範の内容に同意します

回答3件

callback （先頭の c が小文字）はどこから来たキーワード？なのでしょうか？

おっそろしく長いヘッダ"Callback.h" に定義されています。

投稿2019/10/12 23:06

総合スコア16612

2019/10/12 23:54

epistemeさま返信ありがとうございます。ありました、でも内容を理解することができませんでした。テンプレートの勉強不足でしょうか。。

2019/10/13 00:05

callback(test_thread, (void *)"Th 2") は、 test_thread("Th 2") をcallする mbed::Callback< void()> を返し、そいつが生成されたスレッドの中で動くんでしょね。

行動規範の内容に同意します

こんにちは。

callbackは多数のオーバーロード関数がある可変長引数テンプレート関数ですね。恐らくCallback.hの792行目からの下記です。（そっくりのものが多数あり目がチラチラするので違っていたらごめんなさい。）

C++
1/** Create a callback class with type inferred from the arguments
2 *
3 *  @param func     Static function to attach
4 *  @param arg      Pointer argument to function
5 *  @return         Callback with inferred type
6 */
7template <typename T, typename U, typename R, typename... ArgTs>
8Callback<R(ArgTs...)> callback(R(*func)(const T *, ArgTs...), const U *arg)
9{
10    return Callback<R(ArgTs...)>(func, arg);
11}

callback(test_thread, (void *)"Th 2")の呼び出しによる型推論で、T=void、U=void、R=void、ArgTs=空へ展開されていると思います。
その結果、Callback<void()> callback(void(*func)(const void*), const void *arg)というシグニチャになっている筈です。funcはconst void*を引数とし、戻り値がvoidの関数ポインタです。

可変長引数テンプレートを使っているので、Mbed OSはC++11以降準拠でしょうから、std::threadやstd::functionを実装すればよいのにとか思ってしまいますが、過去との互換性問題があるのかも知れませんね。

投稿2019/10/13 05:00

Chironian

総合スコア23272

2019/10/13 07:08

Chironianさまお返事ありがとうございました。

行動規範の内容に同意します

ベストアンサー

(1) start (mbed::Callback< void()> task)

mbed::Callback< void()> 型の変数を一つ取る、関数定義ですね

callback はどこかで定義されてるんじゃないでしょうか。そっちを探してみましょう

投稿2019/10/12 22:52

総合スコア88040

2019/10/13 00:36

y_waiwaiさま返信ありがとうございます。 Callbackはクラスであることがわかりました。 <void()> の部分がよく理解できません。

2019/10/13 00:39

「"引数なしで呼び出され、戻り値がvoidであるナニか(関数オブジェクト)"を現すテンプレート引数」です。

2019/10/13 00:56

＜なんたら＞は、なんたら型を引数に取る定義とかんがえればわかりやすい、、かな？まずはCallbackの定義を見てみることですが、まずはそこらへんの基本的な知識をつけることですね。

2019/10/13 01:33

epistemeさま, y_waiwaiさま返信ありがとうございます。 <>を含んだ文字列が検索できないみたいで、なかなか探すことができません。 <>を含んだ文字列の場合、持っている本には <class X> か <typename X> の例しかありません。ですから <void()> について理解ができませんでした。

2019/10/13 01:41

まずは、「C++ テンプレート」でぐぐりましょう出てきたものを一通り読んで、わからないことがあれば聞いてください

2019/10/13 01:46

void() は型です。「<typename X> の例しかありません」のXとして指定されてるってことです。

2019/10/13 02:09

epistemeさま返信ありがとうございます。なるほど～、理解しました。でも、void はわかりますけど、void()がわかりません。 void() で検索しても出てこないのですけれど・・・どちらか参考になるサイトをご存じでしたら教えてください。よろしくお願いします。

2019/10/13 02:46 編集

"引数なしで呼び出され、戻り値がvoidであるナニか"の型です。 #include <iostream> typedef void X(); void call(X x) { x(); } void hello_fn() { std::cout << "Hello, world\n"; } int main() { call(hello_fn); auto hello_lambda = []() { std::cout << "Hello, world\n"; }; call(hello_lambda); }

2019/10/13 04:30

epistemeさまたびたび返信ありがとうございます。 typedef void X(); これは、 void = X() だよ　という意味なのでしょうか？そしたら X() は何？って、ますますわからなくなってしまいました。

2019/10/13 04:42 編集

当初のあなたの質問どおり、 X は void() です。 > そしたら X() は何？って、ますますわからなくなってしまいました。わからなくてアタリマエ。　Xは型です、intと同様。そしたら int() は何？って疑問は ”わからなくてアタリマエ” でしょ?

2019/10/13 05:08

epistemeさま返信ありがとうございます。 typedef void X();　は void を X() と同じ意味にするのではなく void() を X と同じ意味にするのでしょうか？どうして()がvoidの方にくっついてしまうのかわかりません。

2019/10/13 05:13

関数、の型です。返り値を持たない、引数を持たない関数、の型ですね void uniuni(void)　{　なんやかや　} typedef void X(void); X f; f=uniuni; f(); // なんやかやが実行される

2019/10/13 06:09

> どうして()がvoidの方にくっついてしまうのかわかりません。「そーゆーきまりごとだから」としか...