char指针的模板特化?

时间:2011-07-02 21:08:00

标签: c++ boost c++11 lexical-cast

boost::lexical_cast是一个很棒的工具,但在我的应用程序中,我遇到了string -> bool转换的限制,这让我很烦恼。我需要将"0""false""FALSE"等所有字符串转换为false"1""true""TRUE"转换为{ {1}}。

true仅支持从/ boost::lexical_cast"0"转换。所以我的想法是编写我自己的转换函数,似乎工作正常:

"1"

现在我想编写一个包装器bool str_to_bool(const std::string &str) { if(str == "1" || str == "true" || str == "TRUE") return true; else if(str == "0" || str == "false" || str == "FALSE") return false; else throw std::runtime_error("Bad cast from std::string to bool!"); } 并为其编写我自己的模板特化。这是我到目前为止所得到的:

boost::lexical_cast

这适用于整数或std :: string但显然对于字符串文字或字符指针失败:

template<typename Target, typename Source>
inline Target my_cast(const Source& src)
{
    return boost::lexical_cast<Target>(src);
}

template<>
inline bool my_cast(const std::string& src)
{
    return str_to_bool(src);
}

所以我尝试为int main(int argc, char* argv[]) { std::cout << my_cast<bool>(1) << std::endl; //OK std::cout << my_cast<bool>(std::string("true")) << std::endl; //OK std::cout << my_cast<bool>("true") << std::endl; //Fail! return 0; } 编写另一个特化,但它无法编译!

char *

支持std :: string和//does not compile! template<> inline bool my_cast(const char*& src) { return str_to_bool(src); } 的正确方法是什么?

编辑1:标题是愚蠢的。修正了它。

编辑2:我从boost本身借来了一个解决方案。发布为new answer

4 个答案:

答案 0 :(得分:2)

如果你这样说:

template<>
inline bool my_cast<bool, std::string>(std::string const & src)
{
  return str_to_bool(src);
}

template<>
inline bool my_cast<bool, const char *>(const char * const & src)
{
  return str_to_bool(src);
}

然后至少你可以做以下工作:

int main(int argc, char* argv[])
{
  const char * const q = "true";
  std::cout << my_cast<bool>(q) << std::endl;               //Fail!
  return 0;
}

更新:Voila:

typedef char FT[5];

template<>
inline bool my_cast<bool, FT>(const FT & src)
{
  return str_to_bool(src);
}

答案 1 :(得分:2)

这是一个有效的解决方案。我从boost::lexical_cast本身得到了这个想法:

template<class T>
struct array_to_pointer_decay
{
    typedef T type;
};

template<class T, std::size_t N>
struct array_to_pointer_decay<T[N]>
{
    typedef const T * type;
};

template<typename Target, typename Source>
Target my_cast_internal(const Source& s)
{
    return boost::lexical_cast<Target>(s);
}

template<>
inline bool my_cast_internal(const std::string& src)
{
    return str_to_bool(src);
}

template<>
inline bool my_cast_internal(const char* const& src)
{
    return str_to_bool(src);
}

template<typename Target, typename Source>
inline Target my_cast(const Source& s)
{
    typedef typename array_to_pointer_decay<Source>::type src;

    return my_cast_internal<Target, src>(s);
}

主要挑战是处理数组类型。 array_to_pointer_decay将任何数组类型转换为相应的指针类型。其余的很容易。

答案 2 :(得分:1)

您需要const char*,而不是const char*&。这里的可变左值引用只会绑定到左值,而字符串文字实际上的数组类型的衰减只会产生一个右值const char*,你只能绑定一个const引用。

答案 3 :(得分:1)

让我添加这个作为一个新的答案......一个类型擦除版本!

对于C ++ 98/03

/* Core caster */
bool str_to_bool(const std::string &str)
{
  if(str == "1" || str == "true" || str == "TRUE")
    return true;
  else if(str == "0" || str == "false" || str == "FALSE")
    return false;
  else
    throw std::runtime_error("Bad cast from std::string to bool!");
}


/* Type erasing scaffold */

struct TypeEraseBase
{
  virtual bool cast() const = 0;
  virtual ~TypeEraseBase() { }
};

template <typename T>
struct TypeEraseImpl : public TypeEraseBase
{
  TypeEraseImpl(const T & tt) : t(tt) { }
  virtual bool cast() const { return boost::lexical_cast<T>(t); }
private:
  const T & t;
};

/* Specializations go here */

template <>
struct TypeEraseImpl<std::string> : public TypeEraseBase
{
  TypeEraseImpl(const std::string & tt) : t(tt) { }
  virtual bool cast() const { return str_to_bool(t); }
private:
  const std::string & t;
};

template <size_t N>
struct TypeEraseImpl<char[N]> : public TypeEraseBase
{
  TypeEraseImpl(const char (& tt)[N]) : t(tt) { }
  virtual bool cast() const { return str_to_bool(std::string(t)); }
private:
  const char (& t)[N];
};

template <>
struct TypeEraseImpl<const char *> : public TypeEraseBase
{
  TypeEraseImpl(const char * const & tt) : t(tt) { }
  virtual bool cast() const { return str_to_bool(std::string(t)); }
private:
  const char * const & t;
};


/* User interface class */

struct my_cast
{
  template <typename T> my_cast(const T & tt)
  : pt(new TypeEraseImpl<T>(tt))
  {
  }

  ~my_cast() { if (pt) delete pt; }

  inline bool cast() const { return pt->cast(); }

private:
  const TypeEraseBase * const pt;
};


// Usage example

int main()
{
  const char * const q = "true";
  std::cout << my_cast(1).cast() << std::endl;
  std::cout << my_cast(std::string("true")).cast() << std::endl;
  std::cout << my_cast("true").cast() << std::endl;
  std::cout << my_cast(q).cast() << std::endl;

  return 0;
}

类型特征版,模板化返回类型

#include <string>
#include <stdexcept>
#include <iostream>
#include <ostream>
#include <boost/lexical_cast.hpp>

template <typename T> struct is_string : std::false_type { };
template <> struct is_string<std::string> : std::true_type { };
template <> struct is_string<const char *> : std::true_type { };
template <std::size_t N> struct is_string<char[N]> : std::true_type { };


/* The actual caster class */

template <typename T, bool B> struct to_bool
{
  static inline bool cast(const T & t)
  {
    return boost::lexical_cast<T>(t);
  }
};

template <typename T> struct to_bool<T, true>
{
  static inline bool cast(const T & t)
  {
    const std::string str(t);
    if(str == "1" || str == "true" || str == "TRUE")
      return true;
    else if(str == "0" || str == "false" || str == "FALSE")
      return false;
    else
      throw std::runtime_error("Bad cast from std::string to bool!");
  }
};


/* Type erasing helper class */

template <typename Target>
struct TypeEraseBase
{
  virtual Target cast() const = 0;
  virtual ~TypeEraseBase() { }
};

template <typename T, typename Target>
struct TypeEraseImpl : public TypeEraseBase<Target>
{
  TypeEraseImpl(const T & tt) : t(tt) { }
  virtual Target cast() const { return boost::lexical_cast<T>(t); }
private:
  const T & t;
};

template <typename T>
struct TypeEraseImpl<T, bool> : public TypeEraseBase<bool>
{
  TypeEraseImpl(const T & tt) : t(tt) { }
  virtual bool cast() const { return to_bool<T, is_string<T>::value>::cast(t); }
private:
  const T & t;
};


/* User interface class */

template <typename Target>
struct my_cast
{
  template <typename T> my_cast(const T & tt)
    : pt(new TypeEraseImpl<T, Target>(tt)) { }

  ~my_cast() { if (pt) delete pt; }

  inline Target cast() const { return pt->cast(); }

private:
  const TypeEraseBase<Target> * const pt;
};

template <typename Target>
std::ostream & operator<<(std::ostream & stream, const my_cast<Target> & c)
{ return stream << c.cast(); }


/* Usage */

int main()
{
  const char * const q = "true";
  std::cout << my_cast<bool>(1) << std::endl;
  std::cout << my_cast<bool>(std::string("true")) << std::endl;
  std::cout << my_cast<bool>("true") << std::endl;
  std::cout << my_cast<bool>(q) << std::endl;

  return 0;
}