Question

下面这段代码可以很好地编译VS2010但不想用gcc 4.6.1编译：

#ifndef IS_CHAR_H_INCLUDED
#define IS_CHAR_H_INCLUDED
#include <type_traits>

template<class Int_T>
struct Is_Char_
{
    enum {value = false};
};

template<>
struct Is_Char_<char>
{
    enum {value = true};
};

template<>
struct Is_Char_<unsigned char>
{
    enum {value = true};
};

template<>
struct Is_Char_<signed char>
{
    enum {value = true};
};

template<class Int_T>
struct Is_Char : Is_Char_<typename std::remove_cv<Int_T>::type>
{

};

#endif // IS_CHAR_H_INCLUDED

#ifndef PROMOTE_H_INCLUDED
#define PROMOTE_H_INCLUDED
#include <type_traits>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/find.hpp>
#include <boost/mpl/next.hpp>
#include <boost/mpl/deref.hpp>
#include <boost/mpl/end.hpp>
   //#include "Is_Char.h" doesn't have to be here this file is pasted above


/*Promotes Integer type to one up in size range*/
template<class Integer>
struct Promote
{
    static_assert(std::is_integral<Integer>::value,"Non Integer type is not allowed.");
    /*Check correct type - depending on Integer being signed or unsigned*/
    typedef typename std::conditional<std::is_signed<Integer>::value,
                                boost::mpl::vector<signed char,short,int,long,long long>,
    boost::mpl::vector<unsigned char,unsigned short,unsigned int,long,long long>
                                     >::type types;
    /*
    Find this type from the list above - substituting Integer for signed or unsigned char iff Integer is of type char
    */
    typedef typename boost::mpl::find<types,
    typename std::conditional<Is_Char<Integer>::value,
    typename std::conditional<std::is_signed<Integer>::value,signed char,unsigned char>::type, Integer>::type>::type this_type;

    /*If Integer is int and if size of it is == to long promote int to long long (iterate to next element twice)*/
    typedef typename boost::mpl::eval_if<boost::mpl::bool_<((std::is_same<Integer,int>::value || std::is_same<Integer,unsigned int>::value)
                                                                && (sizeof(int) == sizeof(long)))>,
                                         boost::mpl::next<typename boost::mpl::next<this_type>::type>,
                                         boost::mpl::next<this_type>
                                        >::type next_type;
    /*Check if iterator points within range or if one pass end which means that Integer was u/long long*/
    typedef typename std::conditional<std::is_same<typename boost::mpl::end<types>::type,next_type>::value,Integer,typename boost::mpl::deref<next_type>::type>::type type;
};

#endif // PROMOTE_H_INCLUDED

Answer 1

~~我的猜测是你在编译时没有指定--std=c++0x，因此std::is_integral<>等C ++ 11功能不可用。当我使用该选项时，您的代码会为我编译。~~

更新：现在您已经显示了编译器输出，问题是您已经启用了几乎所有可能的警告，并且还设置-Wpedantic-errors将其中一些视为错误。其中许多警告是由完全合理的代码触发的，大多数作者（包括Boost）都没有花时间修复或解决所有这些问题。

除非您特别要求任何代码都不应使用特定于编译器的扩展，否则您应该删除-Wpedantic-errors;在这种情况下，您可能无法使用Boost。禁用一些不太有用的警告可能是一个好主意 - 你无法修复Boost生成的警告，所以他们所做的只是让你更难发现有关代码的真正警告。我通常希望用-Wall -Wextra干净地编译。

Answer 2

真正的问题不在你的代码中。问题是您找不到编译器的错误消息。在你做任何其他事情之前解决这个问题！

Answer 3

在终端内运行确切的g++命令。然后你会看到错误。不要使用IDE。

无法使用gcc 4.6.1编译代码

3 个答案: