c++ - 为什么在使用模板和 stdarg 函数时 float 被提升为 double

Question

我做了一个模板类数组: 这是必要的代码:

#ifndef ARRAY_H
#define ARRAY_H
#include <iostream>
#include <cstdarg>

template< typename T >
class Array
{
public:
    Array(size_t length = 0, ...);
    ~Array();
private:
    T *m_values;
    size_t m_len;
};

template< typename T>
Array< T >::Array(size_t len, ...) : m_values(0), m_len(len)
{
    if(len != 0)
    {
        m_values = new T[len];
        va_list ap;
        va_start(ap, len);
        for(size_t i(0); i < len; i++)
            m_values[i] = va_arg(ap, T);
        va_end(ap);
    }
    else
        m_values = NULL;
}

template< typename T >
Array< T >::~Array()
{
    delete[] m_values;
}

#endif // ARRAY_H

这是我的主要任务

int main()
{
    Array<float> a;
    return 0;
}

当我编译时我收到警告“float is promote to double when passed through (...) 所以这意味着问题来源是采用未知数量参数的构造函数。 为什么编译器将 float 提升为 double，有没有办法解决它，或者我必须专门针对 float 版本的类，我怎么知道编译器是否也会更改其他类型...

Answer 1

当调用具有可变长度参数列表的函数时，可变参数使用 C 的旧默认参数提升传递。这些表示类型 char 和 short int 会自动提升为 int，并且 type float 自动提升为 double。

因此，可变参数函数绝不能接收类型为char、short int 或float 的参数。