4

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4553.pdf

gcc6：-fconcepts

template<typename T>
concept bool String = requires(T s)
{
    { s.clear() } -> void;
    // etc.
};

void print(const String& message);
//void print(Str message); // I want Str = const String&

void test()
{
  std::string str;
  print(str);
}

有什么方法可以声明Str为const String&？

4

1 回答 1

2

有什么方法可以声明Str为const String&？

不，而且，无论如何你都不想要那样。概念是关于向类型添加约束。因此，如果您想限制print采用某些模型String，您可以这样做：

template <typename T> requires String<T> void print(T const&); // requires-clause
template <String T> void print(T const&); // partial-concept-id
void print(String auto const&); // probably what C++20 will allow

但是约束和价值类别是正交的。您可以String按价值计算：

void print(String auto);

您可以String通过转发参考来获取：

void print(String auto&&);

这些都是与“我想要一个String”方面不同的选项。你不能真正将它们组合在一起。

你能做的最好的事情是：

template <String T> using Str = T const&;
template <typename T> void print(Str<T>); // silently a const&

或者

template <typename T> using CR = T const&;
template <String T> void print(CR<T>); // silently a const&

这样可行。对于作品的一些定义。但就像......不要那样做。一个函数接受一个而不是一个值这一事实const&是非常重要的视觉信息，不要只是隐藏它。

于 2018-09-05T17:54:09.420 回答