1

次のようなコードがあります。

char member_data[16];

template<typename T>
void set(void (T::*member)(void)) {
    memcpy(member_data, (char*) &member, sizeof(member));
}

template<typename T>
void (T::*)(void) get() {
    void (T::*member)(void);
    memcpy((char*) &member, member_data, sizeof(member));
    return member;
}

set完全なコンテキストでは、は常に次の と同じ型を使用していると確信できますget。

これを安全に書き直して使用できますreinterpret_castか?

編集：

このコードは上記と同じことをしますか?

char member_data[16];

template<typename T>
using member_func = void (T::*)();

template<typename T>
void set(member_func<T> member) {
    reinterpret_cast<member_func<T>&>(member_data) = member;
}

template<typename T>
member_func<T> get() {
    return reinterpret_cast<member_func<T>&>(member_data));
}

動作するようです

4

1 に答える 1

4

編集した部分にあるバージョンは無効です。他のタイプのように任意 charの配列にアクセスすることはできません。std::aligned_storage<..>プレーンchar配列の代わりに使用することで、このようなことを有効な方法で実現できる可能性があります。

member_dataとして宣言されている場合

std::aligned_storage<sizeof(member_func<T>), alignof(member_func<T>)>::type member_data;

または（本質的に同等）

alignas(member_func<T>) char member_data[sizeof(member_func<T>)];

その後、あなたのreinterpret_cast<..>アプローチは実際に機能するはずです。テンプレート パラメーターに依存する式sizeofとalignof式の代わりに、固定された任意のmember_func<some_class>. 実装が、異なるクラスのメンバー関数へのポインターに対して異なるサイズまたはアライメントの要件を持っている可能性はほとんどありません。本当に安全にしたい場合は、静的アサートを使用して確認してください。

これを reinterpret_cast を使用するように安全に書き換えることはできますか?

編集で説明されているもの以外に、メンバーへのポインター型でもあるreinterpret_cast<SomeType>(member)場合にのみ、のようなメンバー関数ポインターを直接キャストできますSomeType。そのため、その値を元のメンバー ポインター型に変換するだけであれば、メンバーへのポインター関数型を "ジェネリック メンバー関数ポインター ストレージ" として選択できます。

メンバーへのポインターをオブジェクトへのポインターに変換することはできません (またはその逆)。

member_dataどちらの場合も、コードはそのままでは安全ではありませんsizeof (void (T::*)()) > 16。

ところで、最初のコード例ではすでに:を使用しています。reinterpret_cast(char*)void (T::**)()reinterpret_cast

于 2013-02-15T17:24:55.290 に答える