Почему не работает код без использования std::remove_reference_t?

Question

Амвросий

cpp

Почему не работает код без использования std::remove_reference_t?

Почему при передаче ссылки на lvalue в конструкторе без использования `std::remove_reference_t` возникают ошибки, такие как: 1) "term does not evaluate to a function taking 0 arguments", и 2) "'abstract declarator': you cannot create a pointer to a reference"? В следующем примере код работает корректно: 

<pre><code class="cpp">auto f = [] {};
CallableView view = f;
view();</code></pre>

Однако, если использовать `std::remove_reference_t`, то всё работает. Как объяснить это? Ведь при проверке типы выглядят одинаково:

<pre><code class="cpp">auto f = [] {};
using F = decltype(f);
static_assert(std::same_as&lt;F, std::remove_reference_t&lt;F&gt;&gt;);</code></pre>

8 апреля 2025 г. 3:45

Ответы на вопрос 2

Похожие вопросы

Answer 1

Давайте разберем вашу ситуацию.

Предположим, у вас есть конструктор, который принимает ссылку на функцию или функтор. Если вы не используете `std::remove_reference_t`, происходит следующее:

1. **Ссылки на lvalue и rvalue**: Ссылки имеют разные семантики в зависимости от их типа. Когда вы передаете lvalue (на что-то, что имеет имя и может быть переопределено, например, переменной), вы передаете ссылку на объект, а не сам объект. То есть, если вы не уберете ссылку с помощью `std::remove_reference_t`, возникает путаница, поскольку ссылку воспринимают как тип, требующий разыменования.

2. **Ошибка "term does not evaluate to a function taking 0 arguments"**: Эта ошибка может возникнуть, когда компилятор ожидает функцию (или объект, который можно вызывать), а вместо этого получает ссылку на функцию. Например, если у вас есть `CallableView(F& f)`, а вы вызываете `view()`, компилятор пытается вызвать `f`, при этом f остается ссылкой. Чтобы решить эту проблему, используется `std::remove_reference_t`, который убирает ссылку и приводит тип к подходящему для вызова.

3. **Ошибка "'abstract declarator': you cannot create a pointer to a reference"**: Эта ошибка возникает, когда вы пытаетесь создать указатель на ссылку. Указатели не могут указывать на ссылки, потому что ссылки — это не самостоятельные объекты. Если вы используете `std::remove_reference_t`, компилятор видит только тип без ссылки и не пытается создать указатель на него.

Если вы используете `std::remove_reference_t`, вы фактически говорите компилятору: "Я хочу работать с типом без ссылки, просто давай прямой доступ к базовому типу." Например:

```cpp
template<typename F>
class CallableView {
    using FuncType = std::remove_reference_t<F>;
    FuncType f; // Теперь f - это не ссылка, а реальный объект функции
public:
    CallableView(F&& fn) : f(std::forward<F>(fn)) {} // Пожалуйста, обойдите проблемы с ссылками
    void operator()() {
        f(); // Теперь это вызывает функцию как и ожидалось.
    }
};
```

Таким образом, использование `std::remove_reference_t` позволяет избежать ошибок, связанных с неправильным пониманием ссылок и их поведения. Однако, когда вы используете `std::same_as` для проверки сравнения типов, вы сравниваете базовый тип без ссылки как для `F`, так и для `std::remove_reference_t<F>`, что и дает вам правильный результат.

Answer 2

Вообще, не вижу противоречия. У вас же там tfunc&&, его вы пытаетесь к void* привести и к нему применяете remove reference. 
 
 Попробуйте в ваш static assert добавить std::move и он обвалится.