AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / coding / Perguntas / 79046493
Accepted
Martin Fehrs
Martin Fehrs
Asked: 2024-10-02 19:24:31 +0800 CST2024-10-02 19:24:31 +0800 CST 2024-10-02 19:24:31 +0800 CST

Parâmetros de encaminhamento perfeito e de modelo não-tipo

  • 772

"arg" é uma referência universal/de encaminhamento ou uma referência de rvalue?

template<auto&& arg>
struct test {};
c++
  • 3 3 respostas
  • 510 Views

3 respostas

  • Voted
  1. Best Answer
    HolyBlackCat
    2024-10-02T19:28:23+08:002024-10-02T19:28:23+08:00

    É uma referência de encaminhamento (também conhecida como universal).

    É fácil verificar:

    // (This needs to be at namespace scope, addresses local variables can't
    // be passed to reference or pointer template arguments.).
    int x;
    test<x> t;
    

    Isso compila apesar de xser um lvalue.


    Conforme observado por @user12002570, o padrão aparentemente tem uma definição muito restrita de uma "referência de encaminhamento" que se aplica apenas a parâmetros de função, o que significa que tecnicamente não é uma ( a resposta de @Brian Bi discute isso em mais detalhes). Mas eu diria que a escolha das palavras é discretamente defeituosa, esta não é a definição que as pessoas geralmente usam.

    Geralmente as pessoas dizem "uma referência de encaminhamento" para indicar que uma referência aparentemente rvalue pode se tornar uma referência lvalue se receber um lvalue, e a resposta neste caso é sim.

    • 13
  2. Brian Bi
    2024-10-03T10:05:29+08:002024-10-03T10:05:29+08:00

    As referências de encaminhamento existem apenas para fins de [temp.deduct.call] .

    Uma referência de encaminhamento é uma referência rvalue para um parâmetro de modelo cv-unqualified que não representa um parâmetro de modelo de um modelo de classe (durante a dedução de argumento de modelo de classe ([over.match.class.deduct])). Se Pfor uma referência de encaminhamento e o argumento for um lvalue, o tipo "referência lvalue para A" será usado no lugar de Apara dedução de tipo.

    Em template <auto&& arg> struct test {};, a referência argnão é uma referência de encaminhamento. No entanto, quando um argumento de modelo é fornecido para arg, [temp.arg.nontype]/1 nos diz para inventar uma declaração

    auto&& x = E;
    

    e o tipo de argé o tipo de x. Para encontrar o tipo de x, temos que usar [dcl.type.auto.deduct]/3 , que então adia para [temp.deduct.call] com um parâmetro de função inventado type U&&. Aqui, Pis U&&e é uma referência de encaminhamento. O parâmetro de template Unão representa um parâmetro de template de um template de classe; em vez disso, Ufoi obtido por "[substituindo] [...] auto[...] com um novo parâmetro de template de tipo inventado", seguindo a redação em [dcl.type.auto.deduct]/3.

    • 3
  3. user12002570
    2024-10-02T22:10:49+08:002024-10-02T22:10:49+08:00

    "arg" é uma referência universal/de encaminhamento ou uma referência de rvalue?

    Conforme declarado, não argé uma referência de encaminhamento conforme temp.deduct.call :

    Uma referência de encaminhamento é uma referência rvalue para um parâmetro de modelo cv-unqualified que não representa um parâmetro de modelo de um modelo de classe (durante a dedução do argumento do modelo de classe ([over.match.class.deduct])).

    Observe a ênfase em negrito, o que torna esta referência não universal/de encaminhamento.


    Note que a documentação do cppreference sobre encaminhamento de referência contradiz o padrão c++ aqui. Em particular, a página cppreference diz:

    Referências de encaminhamento são um tipo especial de referências que preservam a categoria de valor de um argumento de função, tornando possível encaminhá-lo por meio de std::forward. Referências de encaminhamento são:

      1. parâmetro de função de um modelo de função declarado como referência rvalue para o parâmetro de modelo de tipo cv-unqualified desse mesmo modelo de função:
      1. auto&&exceto quando deduzido de uma lista de inicializadores entre chaves:
    auto&& vec = foo();       // foo() may be lvalue or rvalue, vec is a forwarding reference
    
    • 0

relate perguntas

  • Por que os compiladores perdem a vetorização aqui?

  • Erro de compilação usando CMake com biblioteca [fechada]

  • Erro lançado toda vez que tento executar o premake

  • Como criar um tipo de octeto semelhante a std::byte em C++?

  • Somente operações bit a bit para std::byte em C++ 17?

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Por que esse código Java simples e pequeno roda 30x mais rápido em todas as JVMs Graal, mas não em nenhuma JVM Oracle?

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Quando devo usar um std::inplace_vector em vez de um std::vector?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Marko Smith

    Estou tentando fazer o jogo pacman usando apenas o módulo Turtle Random e Math

    • 1 respostas
  • Martin Hope
    Aleksandr Dubinsky Por que a correspondência de padrões com o switch no InetAddress falha com 'não cobre todos os valores de entrada possíveis'? 2024-12-23 06:56:21 +0800 CST
  • Martin Hope
    Phillip Borge Por que esse código Java simples e pequeno roda 30x mais rápido em todas as JVMs Graal, mas não em nenhuma JVM Oracle? 2024-12-12 20:46:46 +0800 CST
  • Martin Hope
    Oodini Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores? 2024-12-12 06:27:11 +0800 CST
  • Martin Hope
    sleeptightAnsiC `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso? 2024-11-09 07:18:53 +0800 CST
  • Martin Hope
    The Mad Gamer Quando devo usar um std::inplace_vector em vez de um std::vector? 2024-10-29 23:01:00 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST
  • Martin Hope
    MarkB Por que o GCC gera código que executa condicionalmente uma implementação SIMD? 2024-02-17 06:17:14 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve