Clang抱怨POD类实际上是非POD

Question

更新:我在这里修改了代码,以便您可以直接插入并尝试编译.

Clang 3.4.1(LLVM 3.4)抱怨我的类在可变参数函数中使用时不是POD类型(据我能说的最多).G ++编译没有问题.

即使按照C++ 03的标准,这个类也是POD:

• 它只包含PODS作为成员
• 没有用户定义的析构函数
• 没有用户定义的复制赋值运算符
• 没有指向成员类型的非静态成员

而C++ 11对"POD"的规则是放松的,那么这里发生了什么？

关于代码:这是矢量的模板类(如矢量图形中所示),可变参数函数仅用于使用一些任意数据填充数组.

我的类头文件:

template<typename TYPE>
class Vec3t;

typedef Vec3t<float> Vec3f;

template<typename TYPE>
class Vec3t {
public:
    Vec3t<TYPE>( void ){}
    Vec3t<TYPE>( const TYPE nx, const TYPE ny, const TYPE nz ){}

    Vec3t<TYPE> operator-(void) const{}

    Vec3t<TYPE> operator*( const Vec3t<TYPE> &other ) const{}
    Vec3t<TYPE> operator*( const TYPE val ) const{}
    Vec3t<TYPE>& operator*=( const Vec3t<TYPE> &other ){}
    Vec3t<TYPE>& operator*=( const TYPE val ){}

    Vec3t<TYPE> operator+( const Vec3t<TYPE> &other ) const{}
    Vec3t<TYPE> operator+( const TYPE val ) const{}
    Vec3t<TYPE>& operator+=( const Vec3t<TYPE> &other ){}
    Vec3t<TYPE>& operator+=( const TYPE val ){}

    Vec3t<TYPE> operator-( const Vec3t<TYPE> &other ) const{}
    Vec3t<TYPE> operator-( const TYPE val ) const{}
    Vec3t<TYPE>& operator-=( const Vec3t<TYPE> &other ){}
    Vec3t<TYPE>& operator-=( const TYPE val ){}

    Vec3t<TYPE> operator/( const Vec3t<TYPE> &other ) const{}
    Vec3t<TYPE> operator/( const TYPE val ) const{}
    Vec3t<TYPE>& operator/=( const TYPE val ){}
    Vec3t<TYPE>& operator/=( const Vec3t<TYPE> &other ){}

    bool operator==( const Vec3t<TYPE> &b ) const {}
    bool operator==( const TYPE b ) const {}
    bool operator!=( const Vec3t<TYPE> &b ) const {}
    bool operator!=( const TYPE b ) const {}

    Vec3t<TYPE>& Set( const TYPE a, const TYPE b, const TYPE c ){}
    Vec3t<TYPE>& Set( const TYPE a, const TYPE b ){}

    void Cross( const Vec3t<TYPE> &other, Vec3t<TYPE> &out ) const{}

    TYPE Dot( const Vec3t<TYPE> &other ) const{}

    Vec3t<TYPE> PerpCCW_ZAxis( void ){}
    Vec3t<TYPE> PerpCW_ZAxis( void ){}

    float Len( void ) const{}
    void Zero( void ){}

    static void Cross( const Vec3t<TYPE> &other, const Vec3t<TYPE> &u, Vec3t<TYPE> &out ){}

    Vec3f Normalize( void ){}
    Vec3f Rotation( TYPE angle ){}
    float DegreesBetween( const Vec3f &other ){}
    float RadiansBetween( const Vec3f &other ){}
    Vec3f Rotate( float angle, const bool inRadians = false ){}
    static float Len( const Vec3f &other ){}

public:
    TYPE        x,y,z;
};

template< typename TYPE >
void FillArray( const std::size_t count, TYPE* var, ... ) {
    va_list vargs;
    va_start( vargs, var );

    for ( std::size_t i=0; i<count; i++ ) {
        var[i] = va_arg( vargs, TYPE ); // ** THIS IS THE LINE CLANG ERRS ON ** //
    }

    va_end( vargs );
}

我的可变函数头文件:

#include <cstdarg>

template< typename TYPE >
void FillArray( const std::size_t count, TYPE* var, ... ) {
    va_list vargs;
    va_start( vargs, var );

    for ( std::size_t i=0; i<count; i++ ) {
        var[i] = va_arg( vargs, TYPE ); // ** THIS IS THE LINE CLANG ERRS ON ** //
    }

    va_end( vargs );
}

Clang的错误:错误:'va_arg'的第二个参数是非POD类型'Vec3t'[-Wnon-pod-varargs]

使用这些导致Clang错误的示例程序:#include"fillarray.h"

int main ( void ) {
    Vec3t<float> v[2];
    FillArray< Vec3t<float> >( 2, v, 0.4f, 0.5f);
}

编译:clang ++ x.cpp -I/usr/include/i386-linux-gnu/c ++/4.8 -std = gnu ++ 11

Answer 1

§12.1/ 7:

如果它不是用户提供的,那么默认构造函数是微不足道的......

否则,默认构造函数是非平凡的.

根据定义,您声明的默认构造函数是非平凡的.

§9/ 3:

一个普通的类是一个具有普通默认构造函数(12.1)并且可以轻易复制的类.

由于默认构造函数不重要,因此该类并不简单.

§9/ 10:

一个POD结构是一个非工会类既是平凡的类和标准布局类...

由于课程不是微不足道的,因此不符合POD的条件.为了使它成为POD,你必须摆脱默认的构造函数.