函数本身决定的函数返回类型

问题描述

我正在尝试创建一个模板化函数，该函数根据给定的函数参数返回一些内容，目标是让函数在运行时确定它需要返回的内容。以如下代码为例：

// foo.h
#pragma once
class foo
{
public:
    enum type {
        ALPHA,BETA
    };

    enum version {
        ONE,TWO
    };

    foo(type t,version v) : m_type(t),m_version(v) {};

    type get_type() { return m_type; }
    version get_version() { return m_version; }

    template<typename T>
    T get_either(bool type);

private:
    type m_type;
    version m_version;
};

// foo.cpp
#include "foo.h"

template<typename T>
T foo::get_either(bool type) {
    if (type) {
        return get_type();
    }
    else {
        return get_version();
    }
}

// main.cpp
int main()
{
    foo a(foo::type::ALPHA,foo::version::ONE);

    a.get_type();
    a.get_version();

    a.get_either(true);
    ^^^^^ compiler error
}

这显然因编译器错误而失败，但这可能吗？对于我的生活，我无法弄清楚如何做到这一点，而且我真的很想在模板世界中从哪里开始。

编辑：我可能应该更好地解释我的用例，请参见下图。我首先试图看看我是否可以通过提示自己得到它，而不是仅仅让某人为我解决它。

我将拥有 vector 的接口类。我想遍历这个列表，并调用 get_sensor() 来检索投射到派生类的传感器。我现在通过检查传感器的 type 来“手动”执行此操作，然后将其 dynamic_cast 发送到它需要的任何派生类，但我想知道这是否可以通过以下方式自动完成variant。

解决方法

这是引入 control = Control(model=model,view=gui) 和 std::variant 来解决的问题之一。模板是编译时的东西，它们在代码编译后不存在，因此无法在运行时更改类型。 std::any 允许您返回可以是一组类型之一的事物。 std::variant 让你返回一个可以是任何东西的东西。

您可以使用函数重载并使用这样的输出参数：

#include <iostream>

class foo
{
public:
    enum type {
        ALPHA,BETA
    };

    enum version {
        ONE,TWO
    };

    foo(type t,version v) : m_type(t),m_version(v) {};

    type get_type() { return m_type; }
    version get_version() { return m_version; }

    void get_either(type &t);
    void get_either(version &v);

private:
    type m_type;
    version m_version;
};


void foo::get_either(type &t) {
    t =  get_type();
}

void foo::get_either(version &v) {
    v = get_version();
}

// main.cpp
int main()
{
    foo a(foo::type::ALPHA,foo::version::ONE);

    a.get_type();
    a.get_version();

    foo::type type;
    foo::version ver;

    a.get_either(type);
    a.get_either(ver);
}

https://godbolt.org/z/P3rKW8Tsj

你可以做类似的事情，但只要参数是编译时：

template<bool type>
auto foo::get_either() {
    if constexpr (type) {
        return get_type();
    }
    else {
        return get_version();
    }
}

当然，如果您的布尔值是严格的运行时，这将无法工作。在这种情况下，我建议使用像 std::variant 这样的总和类型。

c++templates templates templates variant variant