Question

我正在尝试编写这样的模板。

template <char c,typename Options, 
   basic_string<class,class,class> Options::* member> 
   struct option_string;

但是我不断收到编译错误。我想知道如何编写一个带有三个选项的模板：char，任何类和指向该类成员的指针，该类必须是basic_string特化。我想避免为basic_string的每个专业化编写模板。

我的目标是创建一个通用的命令行选项库。以下是我想要使用它的方法。

class Options : public Command_Line_Options_Parser<Options> {
public:
  int integer = 0;
  float real_number = 0.0;
  bool boolean = false;
  bool make_true = false;
  bool make_false = true;
  std::string string;
  typedef Options O;
  typedef Command_Line_Options<
            option_int<'i',&O::integer>,
            option_float<'f',&O::real_number>,
            option_bool<'b',&O::boolean>,
            option_true<'t',&O::make_true>,
            option_false<'t',&O::make_true>,
            option_string<'s',&O::string>
           >
  option_list;
};

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

  Options options;

  options.parse(argc,argv);
  std::cout << "integer : " << options.integer <<endl;
  std::cout << "real_number : " << options.real_number <<endl;
  std::cout << "boolean : " << options.boolean <<endl;
  std::cout << "make_true : " << options.make_true <<endl;
  std::cout << "make_false : " << options.make_false <<endl;
  std::cout << "string : " << options.string <<endl;
};

我希望option_string接受basic_string的所有专精，而不只是std::string。

Answer 1

您不必直接指定返回类型。在这种情况下，为什么直接打扰basic_string类？只需要typename String并完成：

template<char C, class Options, class String, String Options::* Member>
struct option_string;

如果您仍然想确保String确实是basic_string的专业化，那么请抓住这个小帮手并static_assert：

#include <type_traits>
#include <string>

template<class T>
struct is_basic_string : std::false_type{};

template<class Ch, class Tr, class Al>
struct is_basic_string<std::basic_string<Ch,Tr,Al>> : std::true_type{};

// in 'option_string'
static_assert(is_basic_string<String>::value,
    "Data member must be a 'basic_string' specialization.");

由于似乎没有必要将成员指针作为模板参数传递，我建议只在构造函数中传递它：

template<char C, class Option, class String>
struct option_string{
  static_assert(is_basic_string<String>::value,
      "Data member must be a 'basic_string' specialization.");
  typedef String Option::*member_type;

  option_string(member_type m, ...) : member(m), ... { ... }
private:
  member_type member;
};

template<char C, class Option, class String>
option_string<C, Option, String> make_option_string(String Option::*member, ...){
  return {member, ...};
}

// in code:
auto os = make_option_string<'H'>(&some_type::a_string_member);

如何为所有basic_string实例编写通用模板

1 个答案: