如何定义变量类模板的成员模板函数?

问题描述 投票:0回答:1

我试图用成员模板函数实现一个变量类模板,其模板参数独立于类模板参数,但我在行外定义成员模板时遇到了问题。

我把我的问题简化为尝试编译这个问题(抱歉想不出如何进一步简化)。

#include <iostream>
#include <string>
#include <typeindex>
#include <typeinfo>
#include <unordered_map>
#include <utility>
#include <vector>

template <class... Types>
class Foo {
public:
  Foo();

  template <class T>
  T& at(const std::string& key);

  template <class T>
  void insert(const std::string& key, const T& value);

private:
  std::tuple<std::unordered_map<std::string, Types>...> sets_;
  std::unordered_map<std::type_index, size_t> type_to_pos_;
};

template<class... Types>
Foo<Types...>::Foo() {
  std::vector<std::type_index> type_indices{std::type_index(typeid(Types))...};
  for (size_t i = 0; i < type_indices.size(); i++) {
    this->type_to_pos_.insert({type_indices[i], i});
  }
}

template<class T, class... Types>
T& Foo<Types...>::at(const std::string& key) {
  std::type_index type_idx{std::type_index(typeid(T))};
  size_t pos;

  pos = this->type_to_pos_.at(type_idx);
  return std::get<pos>(this->sets_).at(key);
}

template <class T, class... Types>
void Foo<Types...>::insert(const std::string& key, const T& value) {
  std::type_index type_idx{std::type_index(typeid(T))};
  size_t pos;

  pos = this->type_to_pos_.at(type_idx);
  std::get<pos>(this->sets_).insert({key, value});
}

int main(int argc, char** argv) {
  Foo<int, float, double> foo{};
  foo.insert("key", 1.0f);
  std::cout << foo.at<float>("key") << std::endl;
  return 0;
}

当试图编译时(C++11),我得到以下错误。

$ make
Scanning dependencies of target test
[ 50%] Building CXX object CMakeFiles/test.dir/main.cpp.o
/Users/Jasper/cpp_projects/playground/main.cpp:33:19: error: nested name specifier 'Foo<Types...>::'
      for declaration does not refer into a class, class template or class template partial
      specialization
T& Foo<Types...>::at(const std::string& key) {
   ~~~~~~~~~~~~~~~^
/Users/Jasper/cpp_projects/playground/main.cpp:37:9: error: invalid use of 'this' outside of a
      non-static member function
  pos = this->type_to_pos_.at(type_idx);
        ^
/Users/Jasper/cpp_projects/playground/main.cpp:38:24: error: invalid use of 'this' outside of a
      non-static member function
  return std::get<pos>(this->sets_).at(key);
                       ^
/Users/Jasper/cpp_projects/playground/main.cpp:38:40: error: use of undeclared identifier 'key'
  return std::get<pos>(this->sets_).at(key);
                                       ^
/Users/Jasper/cpp_projects/playground/main.cpp:42:21: error: nested name specifier 'Foo<Types...>::'
      for declaration does not refer into a class, class template or class template partial
      specialization
void Foo<Types...>::insert(const std::string& key, const T& value) {
     ~~~~~~~~~~~~~~~^
/Users/Jasper/cpp_projects/playground/main.cpp:43:19: error: redefinition of 'type_idx'
  std::type_index type_idx{std::type_index(typeid(T))};
                  ^
/Users/Jasper/cpp_projects/playground/main.cpp:34:19: note: previous definition is here
  std::type_index type_idx{std::type_index(typeid(T))};
                  ^
/Users/Jasper/cpp_projects/playground/main.cpp:44:10: error: redefinition of 'pos'
  size_t pos;
         ^
/Users/Jasper/cpp_projects/playground/main.cpp:35:10: note: previous definition is here
  size_t pos;
         ^
/Users/Jasper/cpp_projects/playground/main.cpp:46:9: error: invalid use of 'this' outside of a
      non-static member function
  pos = this->type_to_pos_.at(type_idx);
        ^
8 errors generated.
make[2]: *** [CMakeFiles/test.dir/main.cpp.o] Error 1
make[1]: *** [CMakeFiles/test.dir/all] Error 2
make: *** [all] Error 2

我很确定这是第一个和第五个错误,但我不知道我做错了什么。为什么 Foo<Types...> 不引用类模板?如何解决这个问题?

编辑:添加了实用程序库,并固定了返回值的 insert.

P.S.为了简单起见,我去掉了所有的异常检查。

get 不知道 pos 所以在编译时它不会被编译。的解决方案是 这个 帮助解决这个问题。

c++ c++11 templates variadic-templates
1个回答
3
投票

你应该有两套模板参数:一套用于包围类模板,另一套用于类模板。成员函数模板 本身。例如:

template<class... Types> // for the enclosing class template
template<class T>        // for the member template
T& Foo<Types...>::at(const std::string& key) {
  ...
}

template<class... Types> // for the enclosing class template
template<class T>        // for the member template
void Foo<Types...>::insert(const std::string& key, const T& value) {
  ...
}
© www.soinside.com 2019 - 2024. All rights reserved.