编译错误 | 由于编译器解析器无法编译 cpp 程序

Question

简短的介绍
我正在尝试编译一个简短的 lambda 以将给定输入转换为字符串格式。 我的整体 class 使用模板，即模板 <typename T>。 我想重载 << 以打印出可以是任何类型的 object； 即 int、string 等。

例如，假设我的 object 是 {int age: 12, int* left: null, int* right: null}，我应该能够打印类似“{value: "12", left: undefined, right:不明确的}”。 另外，如果 object = {string comment: "Distance learning....", int* left: undefined, int* right: undefined}，我应该打印出来，"{value: "Distance learning....",左：未定义，右：未定义}”。 下面是 lambda function 标记的副本，用于从任何数据类型转换为字符串。

std::function<std::string(T)> toString; //declares the blueprint for the lambda function, notice that I am returning a string, and expecting an object of type T, which can be of any type since i'm using a template. 
    toString = [](T value) -> std::string { //Begins the the body of the function
      if (typeid(std::string).name() == typeid(T).name())
      { // not the best way to do this, but here I am checking that the input is already a string, in which case I do not need to convert or anything. 
        return value; //if the input 'value' is already a string, simply return it. 
      }
      //do some stuff to convert the date into a string

      return; // return the final 'value' in string format. 
    };

〜如果我的评论令人困惑，请提前抱歉。

问题
这个想法在纸上是可行的，但是，当我的数据类型不是字符串类型时，就会出现问题。 假设 T == int，遍历代码，将跳过 if 语句，假设我的条件设置正确，我应该向下移动。 这意味着当 function 蓝图说我将返回一个字符串时，我不会返回一个 int。

但是，当编译器检查我的代码时，它会读取它并认为我正在尝试在 function 应该发回一个字符串并抛出一个错误时发回一个 int。 “从‘int’类型的返回值到 function 返回类型‘std::string’没有可行的转换”

例如，

//Let T = int, value = 12, so the below parameter equals, int value, which holds the value of 12. 

    toString = [](T value) -> std::string {
      if (typeid(std::string).name() == typeid(T).name())
      { //should failed since typeid(int).name != typeid(std::string).name
        return value;
      }
      //do some stuff to convert the date into a string

      return; // return the final 'value' in string format. 
    };
//However, when the compiler parses the code, it thinks that I am trying to return value, which is of type int. But the function is supposed to return a string.

//In reality, this should not happen since my if statement will take care of it. 

有谁知道解决此问题或有关如何解决我的逻辑的任何想法？

Answer 1

您至少需要 C++17 才能使用if constexpr 。

使用if constexpr你可以写成

 if constexpr ( std::is_same_v<T, std::string> )
     return value
 else
  {
     // something else that return a std::string
  }

只有这样，当T不是std::string和else情况的主体时，您才能从编译return value中排除，否则。

请注意，我使用了std::is_same类型特征来检查T和std::string是否为同一类型。 std::is_same是编译器决定编译时间的东西。 您的typeid(...).value()是运行时值。 建议：尽可能选择编译时类型特征。

但我需要看一个更完整的例子来展示如何在你的类/结构中使用if constexpr 。

在 C++17 之前，您需要两个不同的函数来初始化tostring 。