c++ - 编译时检查 sizeof...(args) 是否匹配 constexpr 函数的结果

Question

我有 constexpr 函数来计算占位符的数量 https://godbolt.org/g/JcxSiu ,

例如:“你好 %1”返回 1，而“你好 %1，时间是 %2”返回 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");没有。

我觉得可以，就是不知道怎么做。也许有一些模板魔法 :)

编辑

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

现在在 Debug模式下中止。有可能编译时出错吗？

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
 }