c++ - 对齐是否与指向模板对象的指针有关？ (C++)

Question

我正在使用模板嵌套类来存储类型。该类没有数据成员，但它确实有返回 bool 作为 type_traits 比较结果的模板方法。

// Someheader.h
#include < new >
#include < type_traits >

// ...

class foo {

private:

    template < typename T >
    class bar {

    public:

        bar ( ) { }
        ~bar ( ) { }

        template < typename U >
        bool convertible_to ( const U& hint ) {

            return std::is_convertible < T, U > :: value;
        }

        template < typename U >
        bool convertible_from ( const U& hint ) {

            return std::is_convertible < U, T > :: value;
        }

    };

    bar < void >* helper;

public:

    foo ( ) { }
    ~foo ( ) { delete helper; } // Correction from Kerrek SB here.

    template < typename T >
    foo ( const T& hint ) :
        helper ( &( ::new ( helper ) bar < T > ( ) ) )  
    {}

    template < typename U >
    bool convertible_to ( const U& hint ) {

        return helper -> convertible_to ( hint );
    }

    template < typename U >
    bool convertible_from ( const U& hint ) {

        return helper -> convertible_from ( hint );
    }
};

我有点担心我对 placement new 的使用。类 bar 没有数据成员，但我不知道指针对齐是否是模板类型的问题。假设 T = int，并且 int 需要一些对齐 n * 2^m。指向模板类型为 int 的模板对象的指针是否会继承该要求？

我似乎找不到关于这个主题的任何内容，如果这是一个愚蠢的问题，我深表歉意。

Answer 1

对齐并不重要，因为您从不直接使用类型。但是，此代码根本无法按您期望的方式工作。它将始终调用 foo::bar<void>::convertable_to和 foo::bar<void>::convertable_from .另外，它不是类型安全的。