Question

我有constexpr函数，用于计算占位符数https://godbolt.org/g/JcxSiu，

例如：＆＃34; Hello %1＆＃34;返回1和＆＃34; Hello %1, time is %2＆＃34;返回2。

然后，如果参数的数量不等于占位符的数量，我想创建一个不编译的函数。

template <typename... Args>
 inline std::string make(const char* text, Args&&... args) {
   constexpr static unsigned count = sizeof...(args);

   // TODO how to compile time check if count == count_placeholders(text)    
  // constexpr static auto np = count_placeholders(text);

  //static_assert(count == np;, "Wrong number of arguments in make");

  return std::to_string(count);
};

这样 make("Hello %1", "World");编译并

make("Hello %1 %2", "World");或make("Hello %1", "World", "John");没有。

我认为可以做到，我只是不知道如何做。也许用一些模板magick :)

修改

我几乎得到了我想要的东西。 https://godbolt.org/g/Y3q2f8

现在以调试模式中止。编译时可能会出错吗？

Answer 1

我的第一个想法是使用SFINAE启用/禁用make();

之类的东西

template <typename... Args>
auto make(const char* text, Args&&... args)
   -> std::enable_if_t<sizeof...(args) == count_placeholders(text),
                       std::string>
 {
    // ... 
 }

不幸的是，这并没有编译，因为text无法使用constexpr。

但是，如果您接受text是模板参数（在编译时已知），您可以执行某些操作

template <char const * const text, typename ... Args>
auto makeS (Args && ... args)
   -> std::enable_if_t<sizeof...(args) == count_plc(text), std::string>
 { return std::to_string(sizeof...(args)); }

以下是一个完整的工作示例

#include <string>
#include <type_traits>

constexpr std::size_t count_plc (char const * s,
                                 std::size_t index = 0U,
                                 std::size_t count = 0U)
 {
   if ( s[index] == '\0' )
      return count;
   else if (    (s[index] == '%')  && (s[index+1U] != '\0')
             && (s[index+1U] > '0') && (s[index+1U] <= '9') )
      return count_plc(s, index + 1U, count+1U);
   else
      return count_plc(s, index + 1U, count); 
 }

template <char const * const text, typename ... Args>
auto makeS (Args && ... args)
   -> std::enable_if_t<sizeof...(args) == count_plc(text), std::string>
 { return std::to_string(sizeof...(args)); }

constexpr char const h1[] { "Hello %1" };
constexpr char const h2[] { "Hello %1 %2" };

int main ()
 {
   makeS<h1>("World"); // compile
   //makeS<h2>("World"); // compilation error
   //makeS<h1>("World", "John"); // compilation error
 }

编译时间检查sizeof ...（args）是否与constexpr函数匹配

1 个答案: