在编译时检查模板参数是一种字符串

时间:2017-10-06 13:53:56

标签: c++ typetraits c++98

假设我有一个功能:

template <typename T>
void foo(const T& arg) {
   ASSERT(is_valid<T>::value == true);
   // ...
}

其中is_valid检查T是字符串还是整数。我可以很容易地制作出能够为我做到这一点的结构:

template <typename T>
struct is_integer { static const bool value = false; };
template <>
struct is_integer<int> { static const bool value = true; };

template <typename T>
struct is_string { static const bool value = false; };
template <>
struct is_string<std::string> { static const bool value = true; };

然后使用这两个结构检查参数:

template <typename T>
struct is_valid { 
    static const bool value = is_string<T>::value || is_integer<T>::value; 
};

然而,似乎我错过了一些字符串类型。是否有针对所有字符串类型的C ++类型?是否已有可以为我做到这一点的结构或功能?

我得到了:

  • std::string
  • char*
  • char[]

在我的is_string结构中,但似乎还不够。我没有通过const&(引用),因为它没有经过这样的测试:从const T&参数中,只测试了T

1 个答案:

答案 0 :(得分:3)

如果 string 的以下定义适合您:

  

T是一个字符串,当且仅当它可用于构造std::string

然后,您可以使用以下内容定义is_string<T>

template <typename T>
using is_string = std::is_constructible<std::string, T>;

is_constructible is definable in C++98:)

Demo on coliru

#include <string>
#include <type_traits>

template <typename T>
using is_string = std::is_constructible<std::string, T>;

#include <iostream>
int main()
{
    std::cout << std::boolalpha
        << is_string<const char*>::value << "\n"
        << is_string<volatile char*>::value << "\n"
        << is_string<std::string>::value << "\n"
        ;
}

输出:

  


  假
  真