定义一个函数签名，其中包含具有C＆＃x2B;＆＃x2B; 20个概念的参考

Question

我正在尝试使用C ++ 20概念来限制接口。在此界面中，我希望功能签名仅使用引用。由于某种原因，我不能这样做。有人会帮忙吗？

#include <concepts>

template <typename T>
concept MyInterface = requires(T t)
{
    // How do I specify a f(int&) instead of f(int) here?
    {t.f(int{})} -> std::integral;
};

struct X
{
    int f(int& i) { 
       return i; 
    }
};
static_assert(MyInterface<X>);


/*
** While tempting, this is _NOT_ a solution. **
template <typename T>
concept MyInterface = requires(T t, int& i) // Add a requirement here.
{
    {t.f(i)} -> std::integral;
};

// This will compile, despite allowing `i` to be an int. 
// When really, it should be a int&.
X::f(int i) { return i };
*/

Answer 1

我不同意此评论，这绝对是一个解决方案（除非您不必使i int＆amp;，int足够）：

template <typename T>
concept MyInterface = requires(T t, int i)
{
    {t.f(i)} -> std::integral;
};

也就是说，实际上是您的界面：您正在将lvalue int传递到成员函数f中，并且您希望它返回某种满足Integral的类型代码>。

---

为了拒绝服用int的卡利斯，您必须通过一些不同的类型 - 例如可转换为int＆amp;的东西，而不是直接：

template <typename T>
concept MyInterface = requires(T t, std::reference_wrapper<int> i)
{
    {t.f(i)} -> std::integral;
};

或者另外拒绝其他情况：

template <typename T>
concept MyInterface =
    requires(T t, int i) { {t.f(i)} -> std::integral; }
    && !requires(T t){ t.f(42); };

传递Reference_wrapper＆lt; int＆gt;是...确定。明确拒绝服用int rvalues似乎充其量似乎值得怀疑。

Answer 2

您可以利用std :: dectval为约束创建参考类型：

template <typename T>
concept MyInterface = requires(T t)
{
    {t.f(std::declval<int&>())} -> std::integral;
};

请注意，这仍然允许t :: f（int）工作。要禁止它，您可以对此添加另一个约束：

template <typename T>
concept MyInterface = requires(T t)
{
    {t.f(std::declval<int&>())} -> std::integral;
}
&& !requires(T t)
{
    {t.f(std::declval<int>())} -> std::integral;
};