特定の変数の配置の照会

Question

C++ 11では、変数の配置を指定するためにalignas specifierが導入され、型のデフォルトの配置を照会するためにalignof operatorが導入されました。しかし、私は特定の変数のアライメントを得る方法はありません。のは、以下の簡単な例を見てみましょう：ここ

alignas(16) float* array; 

は、我々はそれについて何ができるかです：私たちは何をしたい明らかではありません

• alignof(float*)戻り8、。
• alignof(array)は正確に私たちが望むものですが、これはコンパイラ拡張です。標準で指定されたalignofは、特定の変数で使用することはできません。
• alignof(decltype(array))は8を返します。これはかなり期待されていましたが、私たちが望むものではありませんでした。
• std::alignment_ofはalignofで実装されているため、あまり役に立ちません。

特定の変数arrayが16バイトの境界に位置合わせされていることを確認するメカニズムが必要です。このようなクエリを実行するための標準はありますか？

bool is_aligned(const volatile void *p, std::size_t n) 
{ 
    return reinterpret_cast<std::uintptr_t>(p) % n == 0; 
} 

assert(is_aligned(array, 16)); 

は、上記のフラットなアドレス空間を想定し、uintptr_t上の算術char *上の算術と同等です：

Answer 1

あなたのような何かを試すことができます。

これらの条件は、現代のプラットフォームの大部分に優先しますが、どちらも標準では要求されていません。

それは（What is uintptr_t data type参照）限りuintptr_tからvoid *に戻ってキャストするとき変換は逆にすることができるuintptr_tからvoid *を鋳造する際に、任意の変換を実行するための実装のために完全に可能です。

詳細はN4201（特に、is_aligned()操作を提案しています）。 EDIT

---

はここでは必要volatileのですか？

それは何かのようにできます：あなたがエラーを取得する

alignas(16) volatile float a; 

assert(is_aligned(&a, 16)); 

volatileなし

第一引数

のための 'CONSTのvoid *' から '揮発性のフロート*' から知られていない変換

さらなる参照：

• Why and when is cast to char volatile& needed?
• Why is a point-to-volatile pointer, like "volatile int * p", useful?

Answer 2

あなたはこの試みることができる：これは、現在EWG 98によって処理され

template<size_t size, typename T> 
constexpr bool IsAlignedAs(const T& v) 
{ 
    return (reinterpret_cast<const size_t>(&v) % size) == 0; 
} 

std::cout << IsAlignedAs<16>(array) << std::endl; 
std::cout << IsAlignedAs<32>(array) << std::endl; 

Answer 3

を。私はこの上a paperを提出：

alignas指定子が自分のタイプを彼らのアライメント要件に影響を与えることはなく、オブジェクトに適用されます。したがって、現時点では、オブジェクトの実際のアラインメント要件を決定することは現在不可能です。本稿では、オブジェクトと参照にalignofの適用を許可することを提案する。

この時点でできることは、変数の配置を保持する別の変数を定義することです。