Issue 6378 - [emscripten] Make DependentString constexpr

compiled/String.h

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-present eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 58 matching lines @@
 
   static constexpr size_type FLAGS_MASK = 0xC0000000;
   static constexpr size_type LENGTH_MASK = 0x3FFFFFFF;
 
   static constexpr size_type npos = -1;
 
 protected:
   value_type* mBuf;
   size_type mLen;
 
-  explicit String(value_type* buf, size_type len, size_type flags)
+  constexpr explicit String(value_type* buf, size_type len, size_type flags)
       : mBuf(buf), mLen((len & LENGTH_MASK) | flags)
   {
   }
 
-  ~String()
-  {
-  }
+  ~String() = default;
 
   void reset(value_type* buf, size_type len, size_type flags)
   {
     mBuf = buf;
     mLen = (len & LENGTH_MASK) | flags;
   }
 
 public:
-  size_type length() const
+  constexpr size_type length() const
   {
     return mLen & LENGTH_MASK;
   }
 
-  bool empty() const
+  constexpr bool empty() const
   {
     return !(mLen & LENGTH_MASK);
   }
 
-  const value_type* data() const
+  constexpr const value_type* data() const
   {
     return mBuf;
   }
 
   value_type* data()
   {
     String_assert_writable(is_writable());
     return mBuf;
   }
 
-  const value_type& operator[](size_type pos) const
+  constexpr const value_type& operator[](size_type pos) const
   {
     return mBuf[pos];
   }
 
   value_type& operator[](size_type pos)
   {
     String_assert_writable(is_writable());
     return mBuf[pos];
   }
 
-  bool is_writable() const
+  constexpr bool is_writable() const
   {
     return (mLen & FLAGS_MASK) == READ_WRITE;
   }
 
-  bool equals(const String& other) const
+  constexpr bool equals(const String& other) const
   {
     if (length() != other.length())
       return false;
 
     return std::memcmp(mBuf, other.mBuf, sizeof(value_type) * length()) == 0;
   }
 
-  bool operator==(const String& other) const
+  constexpr bool operator==(const String& other) const
   {
     return equals(other);
   }
 
   bool operator!=(const String& other) const

[sergei, 2018/03/16 13:43:27]

In this case this should be constexpr too.

[René Jeschke, 2018/03/16 17:00:47]

Yep, will make 'constexpr' what can be 'constexpr' and add tests for those.

   {
     return !equals(other);
   }
 
   size_type find(value_type c, size_type pos = 0) const

[sergei, 2018/03/16 13:43:27]

As well as this.

   {
     for (size_type i = pos; i < length(); ++i)
       if (mBuf[i] == c)
         return i;
     return npos;
   }
 
   size_type find(const String& str, size_type pos = 0) const

[sergei, 2018/03/16 13:43:27]

and this and so on.

   {
     return find(str.mBuf, pos, str.length());
   }
 
   size_type find(const value_type* str, size_type pos, size_type count) const
   {
     if (pos > LENGTH_MASK || pos + count > length())
       return npos;
 
     if (!count)
@@ skipping 18 matching lines @@
 
     if (pos >= length())
       pos = length() - 1;
 
     for (int i = pos; i >= 0; --i)
       if (mBuf[i] == c)
         return i;
     return npos;
   }
 
-  bool is_invalid() const
+  constexpr bool is_invalid() const
   {
     return (mLen & FLAGS_MASK) == INVALID;
   }
 
-  bool is_deleted() const
+  constexpr bool is_deleted() const
   {
     return (mLen & FLAGS_MASK) == DELETED;
   }
 
   void toLower()
   {
     size_type len = length();
     for (size_type i = 0; i < len; ++i)
     {
       value_type currChar = mBuf[i];
@@ skipping 25 matching lines @@
   os << converter.to_bytes(str.data(), str.data() + str.length());
 #endif // _MSC_VER >= 1900
 #endif // ABP_UTF8_STRING
   return os;
 }
 #endif // INSIDE_TESTS
 
 class DependentString : public String
 {
 public:
-  explicit DependentString()
+  constexpr explicit DependentString()
       : String(nullptr, 0, INVALID)
   {
   }
 
+  template <int N1>
+  constexpr explicit DependentString(const value_type (&buf)[N1])
+      : String(const_cast<value_type*>(buf), N1 - 1, READ_ONLY)
+  {
+  }
+
   explicit DependentString(value_type* buf, size_type len)
       : String(buf, len, READ_WRITE)
   {
   }
 
-  explicit DependentString(const value_type* buf, size_type len)
+  constexpr explicit DependentString(const value_type* buf, size_type len)
       : String(const_cast<value_type*>(buf), len, READ_ONLY)
   {
   }
 
   explicit DependentString(String& str, size_type pos = 0, size_type len = npos)
       : String(
           str.mBuf + std::min(pos, str.length()),
           std::min(len, str.length() - std::min(pos, str.length())),
           str.is_writable() ? READ_WRITE: READ_ONLY
         )
@@ skipping 37 matching lines @@
   }
 };
 
 #ifdef INSIDE_TESTS
 inline std::ostream& operator<<(std::ostream& os, const DependentString& str)
 {
   return os << static_cast<const String&>(str);
 }
 #endif
 
-inline DependentString operator "" _str(const String::value_type* str,
+constexpr DependentString operator "" _str(const String::value_type* str,
     String::size_type len)
 {
   return DependentString(str, len);
 }
 
 inline void String_assert_writable(bool isWritable)
 {
   assert2(isWritable, ABP_TEXT("Writing access to a read-only string"_str));
 }
 
@@ skipping 231 matching lines @@
   return OwnedString{value};
 }
 
 DependentString TrimSpaces(const String& value);
 
 // Splits the `value` string into two `DependentString`s excluding the character staying at `separatorPos`.
 // Useful for parsing.
 std::pair<DependentString, DependentString> SplitString(const String& value, String::size_type separatorPos);
 
 ABP_NS_END