主页 / coding / 问题 / 79496469
Accepted
Muhammad
Asked: 2025-03-10 03:24:17 +0800 CST

概念中向模板传递参数的顺序

  • 772

使用以下代码

template <typename T>
concept SomeConcept = requires(T t) {
    { t++ } -> std::convertible_to<T>;
};

该概念SomeConcept确保类型T已重载operator++(int)并且结果类型可转换为T。并std::convertible_to 采用 2 个参数，第一个是From，第二个是To。

所以我的问题是，哪个参数接受表达式的结果以及为什么？根据这个答案，为什么将其T作为另一个参数传递而不是相反？

请提供合适的参考资料来支持答案，最好是来自标准草案。

提前致谢

c++

2 个回答

  1. Best Answer

    来自cppreference：

    在类型约束中，概念采用的模板参数比其参数列表要求的少一个，因为上下文推断的类型被隐式地用作概念的第一个参数。

    template<class T, class U>
concept Derived = std::is_base_of<U, T>::value;
 
template<Derived<Base> T>
void f(T); // T is constrained by Derived<T, Base>

    因此，即使std::convertible_to采用两个模板参数，推导的类型也将用作第一个，也就是From您例子中的参数。

    • 3

  2. 我将尽力解释这一点。

    在表达式中{ t++ } -> std::convertible_to<T>， 的结果类型t++成为From的参数std::convertible_to，而T是To参数。

    这是因为std::convertible_to<From, To>检查是否From可以转换为To。在我们的例子中，我们想要验证后缀增量操作的结果（通常是包含原始值的临时对象）是否可以转换回类型T。

    标准概念 std::convertible_to 定义如下：

    template<typename From, typename To>
concept convertible_to = 
    is_convertible_v<From, To> &&
    requires { static_cast<To>(declval<From>()); };

    因此，当我们写 时{ t++ } -> std::convertible_to<T>，我们实际上是在说“ 的结果t++必须可以转换为T”，这正是我们想要检查的良好行为后缀增量运算符。

    如果您对我的回答有任何疑问，请告诉我。希望我能够帮助您。

    • 0

相关问题