問題タブ [restrict-qualifier]

最近、厄介なシュレディンバグに出くわしました。ファイルをフラット メモリ表現にロードしようとしているときに、作成者は次のようなコードを記述していました。

したがって、何が起こっているかというと、コードの最初の行は基本的に にline->data等しく設定されてい&line->dataます。が指している値を変更すると、それ自体が指している値line->dataも変更される可能性があるため、これは誤りです。line->data

その時、問題が発生するまでに非常に長い時間がかかったことが不思議に思いました。私の理解では、restrict（または g++/MSVC で__restrict）修飾されていない限り、コンパイラはポインターがエイリアスされていると想定する必要があります。したがって、line->data[0]何かに設定すると、次のアクセスで表示され、line->data[1]ほぼ確実に無効になります。ただし、デバッガーでは、変更はかなり後になるまで表示されず、書き込みはしばらくの間順調に続きました。

コンパイラ (この場合は MSVC 2013) は、セルフエイリアスが可能であるとは考えていなかったと思います。それは許されますか？

Cで書かれたサードパーティのソースファイルと対応するヘッダー（GSLなどの宣言とインクルードディレクティブを含む）があります。基本的にRcppを使用して関数のラッパーを作成し、これらのソースファイルの周りにRパッケージを構築しようとしています。問題は、これらのファイルに C++ 標準の一部ではない制限修飾子が含まれているため、R CMD INSTALL がパッケージをコンパイルできないことです。.c ファイルには C コンパイラを使用しますが、.h ファイルを C++ コンパイラでコンパイルしようとすると失敗します。ヘッダー ファイル (.cpp ファイルに含まれています) に restrict が見つかると失敗します。

私は C やコンパイラのこと、Rcpp などにあまり詳しくないので、ここで何が最善のアプローチになるのかわかりません。

最も簡単な方法は、おそらく restrict キーワードを削除することです。これは私が現在行っていることです（ヘッダーファイルから制限を削除して.cファイルのままにしておくと、R CMD INSTALLが機能することに驚いています）。ただし、.c および .h ファイルは、R 以外の環境 (実行可能ファイルおよび Python) でも使用されるため、変更しません。すべてのプロジェクトで同一のファイルを使用すると便利です。

また、コンパイルが C++ コンパイラで行われた場合に関数定義から restrict を「削除」するように、空のキーワード restrict を定義しようとしましたが、その作業を行うことができませんでした。私はどこかで同様のアプローチについて読みましたが、明らかにそのようには機能しません。

特定の.hファイルをCコンパイラでコンパイルする必要があることを（Makevarsなどを介して）コンパイラに伝えることができればうまくいきますか？または、これらの関数を呼び出す C++ 関数で問題が発生しますか?

または、これらの関数が C++ ラッパーを介して R から呼び出された場合、キーワード全体がパフォーマンスの面で問題になりますか?

1 つのことは、Rcpp を捨てて、R からの .Call の代わりに .C を使用することですが、ここではパフォーマンスが重要であるため、.Call の方が高速である (そして信頼性が高い) ことを理解しているため、これは良い選択肢ではありません。 ）。

最終的に、このパッケージは CRAN への道を見つける可能性があるため、ソリューションはかなり移植可能であることに注意してください。制限のための C++ コンパイラ固有のキーワードがいくつかあるようですが、移植性のためにそれらはオプションではないと思います。

次の方法は「制限」契約を尊重しますか?

私の推測ではノーですが、説明が必要です。

と入力するとprintf、Xcode は のようなオートコンプリート ヒントを表示しprintf(const char *restrict, ...)ます。

「const char *restrict」の意味を知りたいですか?
また、Xcode がすべての関数に対してスローするこれらのパラメーターに関する詳細情報はどこにありますか?

私は標準を読みましたが、まだ確信が持てません:

関数replではstrchr、オブジェクトを変更するための別のポインターを取得していました。結果は、最初の文字列が にm置き換えられた文字列になると思いMます。

しかし、これは未定義の動作でしょうか?

はいの場合、ap[cp-ap]='M';代わりに使用するのは*cp='M';どうですか？

定数データが​​ある場合、たとえば次の形式で

• double const * constまた
• double const *

これはコンパイラに同じ情報を__restrict与えますか / 同じ効果がありますか?

私が理解している限り、__restrict基本的には、指しているデータが別のポインターによって/によって変更されないことを約束します。つまり、const 値へのポインターは、同じような約束をしますね。

__restricthere は、Visual Studio のキーワードを指します。GCCでも意味は似ていると思います。

シナリオ:

struct次のように、すべて宣言された一連のポインターと、restrictこれらのいくつかを引数として取る関数を保持する型があるとstructします。

http://www.oracle.com/technetwork/server-storage/solaris10/cc-restrict-139391.htmlによるとinput.ptrXX、input.ptrYY非エイリアスとして扱われます。

質問：

コンパイラはinput.ptrXXandoutput.ptrYYも非エイリアシングとして扱いますか?