Function 專門用於使用枚舉使用 getter 訪問結構成員

Question

我有一個枚舉和一個結構

enum STORE_ENUM { A_DATA, B_DATA, C_DATA, D_DATA };
struct Store {
   int a;
   char b;
   long c;
   bool d;

}

我想用一個專門的 get function 來訪問它的成員，基本上看起來像這樣

T get(STORE_ENUM,store s);

它返回適當的類型，並希望靜態類型檢查。 這可能在 C++ 中嗎？

Answer 1

是的，這是可能的。 boost PFR 庫允許的內容與您的設想非常相似，例如：

auto& x = boost::pfr::get<B_DATA>(s);

請參閱此處的教程。

Answer 2

使用 C++17，您可以執行以下操作

#include <iostream>

enum struct STORE_ENUM { A_DATA, B_DATA, C_DATA, D_DATA };
struct Store {
   int a;
   char b;
   long c;
   bool d;

};

template<STORE_ENUM storeEnum>
auto get(Store const & s){
    if constexpr (storeEnum == STORE_ENUM::A_DATA) return s.a;
    if constexpr (storeEnum == STORE_ENUM::B_DATA) return s.b;
    if constexpr (storeEnum == STORE_ENUM::C_DATA) return s.c;
    if constexpr (storeEnum == STORE_ENUM::D_DATA) return s.d;
}
int main(){
    auto store = Store{ 0, 'a', 4l, true};
    std::cout << get<STORE_ENUM::A_DATA>( store) << "\n";
    std::cout << get<STORE_ENUM::B_DATA>( store) << "\n";
    std::cout << get<STORE_ENUM::C_DATA>( store) << "\n";
    std::cout << get<STORE_ENUM::D_DATA>( store) << "\n";
}

見https://godbolt.org/z/1vffh3

Answer 3

在我的解決方案中，我們不需要枚舉。 它使用模板。

#include <iostream>
#include <type_traits>

struct Store
{
    int a;
    char b;
    long c;
    bool d;

    Store() //Default constructor
    {
        a = 0;
        b = 0;
        c = 0;
        d = false;
    }

    Store(int a, char b, long c, bool d) //Constructor. Custom values.
    {
        this->a = a;
        this->b = b;
        this->c = c;
        this->d = d;
    }

    template <typename T = int,
              typename = typename std::enable_if<std::is_same<T, int>::value ||
                                                     std::is_same<T, char>::value ||
                                                     std::is_same<T, long>::value ||
                                                     std::is_same<T, bool>::value,
                                                 void>::type>
    T GetData()
    {
        if (std::is_same<T, char>::value)
        {
            return b;
        }
        if (std::is_same<T, long>::value)
        {
            return c;
        }
        if (std::is_same<T, bool>::value)
        {
            return d;
        }
        return a;
    }
};

int main()
{
    Store store { 63, '@', 65, true };
    std::cout << store.GetData() << std::endl;
    std::cout << store.GetData<>() << std::endl;
    std::cout << store.GetData<int>() << std::endl;
    std::cout << store.GetData<char>() << std::endl;
    std::cout << store.GetData<long>() << std::endl;
    std::cout << std::boolalpha << store.GetData<bool>() << std::endl;
}

Output

63
63
63
@
65
true

編譯clang++./main.cpp -std=c++11或g++./main.cpp -std=c++11

在https://repl.it/@JomaCorpFX/FunctionSpecialization#main.cpp中檢查/運行此代碼

Answer 4

std::tuple基本上是這樣做的，而您的類型基本上是一個元組。 所以簡單快捷的方法是重用std::tuple的機器。

在c++14 中，它可能如下所示：

template<STORE_ENUM e>
auto get( Store s ){
  return std::get<(unsigned)e>(std::make_tuple(s.a,s.b,s.c,s.d));
}
template<STORE_ENUM e, class T>
void set( Store& s, T t ){
  std::get<(unsigned)e>(std::tie(s.a,s.b,s.c,s.d))=t;
}

這是c++14 ，但c++11的缺失位很容易：

template<STORE_ENUM e>
using store_type = typename std::tuple_element<(unsigned)e, std::tuple<int,char,long,bool>>::type;

template<STORE_ENUM e>
store_type<e> get( Store s ) {
  return std::get<(unsigned)e>(std::make_tuple(s.a,s.b,s.c,s.d));
}

template<STORE_ENUM e>
void set( Store& s, store_type<e> v ){
  std::get<(unsigned)e>(std::tie(s.a,s.b,s.c,s.d))=v;
}