Question

我正在尝试创建一个名为variant的变量类型（类似于VisualBasic中的一个），它可以更改变量类型（不是真的，但它会改变返回哪一个）。这是我的代码：

#include <string>
using namespace std;

class Variant{
    private:
        int int_v;
        char char_v;
        bool bool_v;
        string string_v;

        char type;

    public:
        void set(int);
        void set(char);
        void set(bool);
        void set(string);

        auto get();

        Variant();
};

Variant::Variant(){
    int_v = 0;
    char_v = ' ';
    bool_v = false;
    string_v = "";
    type = ' ';
}

void Variant::set(int value){
    int_v = value;
    char_v = ' ';
    bool_v = false;
    string_v = "";
    type = 'i';
}

void Variant::set(char value){
    char_v = value;
    int_v = 0;
    bool_v = false;
    string_v = "";
    type = 'c';
}

void Variant::set(bool value){
    bool_v = value;
    int_v = 0;
    char_v = ' ';
    string_v = "";
    type = 'b';
}

void Variant::set(string value){
    string_v = value;
    int_v = 0;
    char_v = ' ';
    bool_v = false;
    type = 's';
}

auto Variant::get(){
    if(type == 'i') return int_v;
    else if(type == 'c') return char_v;
    else if(type == 'b') return bool_v;
    else if(type == 's') return string_v;
    else return -1;
}

int main(int argc, char *argv[]){

    return 0;
}

这段代码应该是这样的：

#include <iostream>
#include "Variant.h"
using namespace std;

int main(int argc, char *argv[]){

    Variant var;
    var.set(5); //set var to 5
    cout<<var.get()<<endl; //print var (5)
    var.set('a'); //set var to 'a'
    cout<<var.get()<<endl; //print var (a)
    var.set(true); //set var to true
    cout<<var.get()<<endl; //print var (true)
    var.set("Hello, World!"); //set var to "Hello, World!"
    cout<<var.get()<<endl; //print var (Hello, World!)

    return 0;
}

但是g ++告诉我：

Variant.h:17:12: error: ISO C++ forbids declaration of ‘get’ with no type [-fpermissive]
   auto get();
            ^
Variant.h:17:12: error: storage class specified for ‘get’

感谢所有帮助！谢谢！

Answer 1

返回类型必须在编译时可以推导，类似于模板参数。该函数不能返回不同的类型，具体取决于运行时属性，例如变量当前包含的内容。

除了以下各种变体之外，你没有太多选择：

template<typename T>
T get() const;

您必须在调用时指定模板参数。（我不知道返回tuple然后不得不打电话给get<int>获得了什么......）

以下是更全面的示例代码：

// In class definition
template<typename T> T get() const;

// Outside
template<> char   Variant::get<char>()   const { return char_v; }
template<> int    Variant::get<int>()    const { return int_v; }
template<> bool   Variant::get<bool>()   const { return bool_v; }
template<> string Variant::get<string>() const { return string_v; }

Answer 2

get中的返回语句将返回不同的类型。

根据here：

广义返回类型推导现在即使更复杂也可以使用函数体包含多个return语句，只要所有return语句都返回相同的类型。

修改：

请参阅Matt McNabb的答案，用模板解决此错误。

返回类型为auto的函数

2 个答案: