时间戳

首页 > 解决方案 > C1001 编译时出错（无优化）

c++ - C1001 编译时出错（无优化）

问题描述

我正在做一个项目，我需要保存具有不同类型值的参数包（元组）（不能重载函数，因为有太多的可能性）。我已经到达下面的代码，但收到错误：

Error C1001 An internal error has occurred in the compiler.
tupletest.cpp 47

我已删除优化并禁用整个程序优化（以及删除漫游和本地的 Visual Studio 文件夹以删除规范）

抱歉读了很久（包括很多代码）

还尝试了以下形式：

template<class arg>
    std::tuple<arg> GetTuple()
{...}
template<class arg, typename... args>
    std::tuple<arg,args...> GetTuple(json::object::iterator it, json::object::iterator end)
{...}

但是我收到了这样的错误：

Error C2440 'return': cannot convert from 'std::tuple<std::string,int,int,std::string,std::string>' to 'std::tuple<int,int,int,std::string,std::string>'

template<typename... args, class...refargs>
std::tuple<int, args...> GetTupleFromArgs(std::reference_wrapper<int> refarg, refargs... refargs)
{
    return std::tuple_cat(std::make_tuple(refarg.get()), GetTupleFromArgs<args...>(refargs...));
}
std::tuple<int> GetTupleFromArgs(std::reference_wrapper<int> refarg)
{
    return std::make_tuple(refarg.get());
}
template<typename... args, class...refargs>
std::tuple<float, args...> GetTupleFromArgs(std::reference_wrapper<float> refarg, refargs... refargs)
{
    return std::tuple_cat(std::make_tuple(refarg.get()), GetTupleFromArgs<args...>(refargs...));
}
std::tuple<float> GetTupleFromArgs(std::reference_wrapper<float> refarg)
{
    return std::make_tuple(refarg.get());
}
template<typename... args, class...refargs>
std::tuple<std::string, args...> GetTupleFromArgs(std::reference_wrapper<std::string> refarg, refargs... refargs)
{
    return std::tuple_cat(std::make_tuple(refarg.get()), GetTupleFromArgs<args...>(refargs...));
}
std::tuple<std::string> GetTupleFromArgs(std::reference_wrapper<std::string> refarg)
{
    return std::make_tuple(refarg.get());
}

int main()
{
    int a = -1;
    int b = 2;
    int c = 3;
    std::string r = "hel";
    std::string v = "he2l";

    std::tuple<int, int, int, std::string, std::string> tuple = GetTupleFromArgs(std::ref(a), std::ref(b), std::ref(c), std::ref(r), std::ref(v));
    //std::cout << _pack.GetInt<0>();

    std::cout << "Hello World!\n"; 
}

我希望元组中的值是-1,2,3,"hel","he2l"，但会收到编译时间Error C1001 An internal error has occurred in the compiler.

标签： c++visual-c++tuplesvariadic-templates

解决方案

这是一个编译器错误。

所以编译器内部发生了一些意想不到的事情，这不是（完全）你的错。

无论如何，我看到您混合了类型名称和值名称；例如，在这个函数中

// ................................VVVVVVV
template<typename... args, class...refargs>
std::tuple<int, args...> GetTupleFromArgs(std::reference_wrapper<int> refarg, refargs... refargs)
{ ............................................................................^^^^^^^....^^^^^^^

您命名refargs了第二个可变参数列表的类型名称和相关值的名称。

糟糕的选择。

也许是激活编译器错误的选择。

所有三个递归版本的GetTupleFromArgs().

的递归版本的另一个问题GetTupleFromArgs是不能推导出类型的第一个可变参数列表，因为它是相对于返回值的。

也许有点话题，但我建议你GetTupleFromArgs()简单地重写如下

template <typename ... As>
std::tuple<As...> GetTupleFromArgs (std::reference_wrapper<As> ... rAs)
 { return { rAs.get() ... }; }

这样可以从函数的参数中推导出单个可变参数列表，并且不需要递归和重载

另一个建议：避免命名tuple类型为 的变量std::tuple。只是为了避免名称冲突。

以下是您的代码的简化（和可编译）版本

#include <tuple>
#include <iostream>
#include <functional>
#include <type_traits>

template <typename ... As>
std::tuple<As...> GetTupleFromArgs (std::reference_wrapper<As> ... rAs)
 { return { rAs.get() ... }; }

int main ()
 {
   int a = -1;
   int b = 2;
   int c = 3;
   std::string r = "hel";
   std::string v = "he2l";

   auto tpe = GetTupleFromArgs(std::ref(a), std::ref(b), std::ref(c),
                               std::ref(r), std::ref(v));

   static_assert( std::is_same<decltype(tpe),
                     std::tuple<int, int, int, std::string, std::string>
                     >::value, "!" );
 }

推荐阅读