Question

我想在C ++中用不同的参数值做一些重载。

像Python这样的动态语言：

def foo(str):
  if str == "a":
    return str
  if str == "b":
    return true
  if str == "c":
    return 1

C ++中是否有一些RTTI模式可以使它工作？

Boost ::调用函数时任何需要暗示定义类型：

boost::any foo() {...}

auto result = boost::any_cast<int>(foo("c"));

如何定义结果var而不隐含给'int'？

换句话说，我想在下面做出这个语义：

result = foo("a")

Answer 1

有两种语言可以满足您的要求：

动态语言
依赖类型语言

C ++既不是：函数签名永远不会依赖于传递给它的参数的值。但是，它可能取决于参数的类型或非类型模板参数的值：

struct A{}; struct B{}; struct C{};

auto foo(A) -> std::string;
auto foo(B) -> bool;
auto foo(C) -> int;

如果您真的希望运行时选择正确的类型，那么静态地，函数的结果类型是它可以返回的类型的并集;这可以使用boost::variant（这是标记联合的语法糖）干净地表达：

auto foo(std::string const&) -> boost::variant<bool, int, std::string>;

当然，它意味着结果boost::variant<bool, int, std::string>而不是这三者中的任何一个;这正是我们想要的。然后由用户检查实际类型，如果您阅读文档，您将看到有多种方法。

Answer 2

我认为最好的方法是在结构中使用带有类型字段的联合。

enum var_type{X_BOOL,X_INT,X_DOUBLE,X_STRING /*add more if needed*/};

struct var{
  var_type type;
  union{
    bool bool_var;
    int int_var;
    double dbl_var;
    string str_var;
    /*add more here if needed...*/
  }var;
};

当您设置var时，您还必须设置类型，当您将其作为返回值时，您应该检查类型并根据它来获取var。

如何根据C ++中的参数值返回不同的类型？

2 个答案: