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 / 79578733
Accepted
Chameleon
Chameleon
Asked: 2025-04-17 15:41:01 +0800 CST2025-04-17 15:41:01 +0800 CST 2025-04-17 15:41:01 +0800 CST

Diretiva OpenMP em funções constexpr

  • 772

De acordo com a especificação OpenMP (2.1. Formato de Diretiva)

Diretivas não podem aparecer em funções constexpr ou em expressões constantes. Pacotes de parâmetros variádicos não podem ser expandidos para uma diretiva ou suas cláusulas, exceto como parte de um argumento de expressão a ser avaliado pela linguagem base, como em uma chamada de função dentro de uma cláusula if.

Eu uso bastante o OpenMP em funções constexpr até que o g++14.2 sem compilador emitiu um aviso. Mas usar o g++15 é um erro.

O seguinte não é um erro do g++14.2, mas sim um erro do g++15.

erro: diretivas OpenMP podem não aparecer em funções 'constexpr' [-Wtemplate-body]

constexpr void func(size_t sz) noexcept
{
     #ifdef _OPENMP
     #pragma omp parallel for
     #endif
     for (size_t i = 0; i < sz; ++i) something(i);
}

Qual é o motivo dessa restrição? O compilador tem a capacidade de executar código compatível com OpenMP sem habilitar o OpenMP. Esqueci de alguma coisa?

Estou tentando corrigir meu código com a seguinte solução alternativa. O g++15 não proíbe isso, mas não sei se ele quebra novamente o padrão OpenMP e, por exemplo, no g++16, preciso corrigir meu código novamente.

O seguinte é aceito pela especificação OpenMP? É aceito pelo g++15 (e anteriores).

constexpr void func(size_t sz) noexcept
{
    auto fcommon = [](size_t i) {};
    auto fomp    = [sz]()
    {
         #ifdef _OPENMP
         #pragma omp parallel for
         #endif
         for (size_t i = 0; i < sz; ++i) fcommon(i);
    };
    auto fseq    = [sz]() { for (size_t i = 0; i < sz; ++i) fcommon(i); };

    if (std::is_constant_evaluated()) fseq(); else fomp();
}
c++
  • 1 1 respostas
  • 46 Views

1 respostas

  • Voted
  1. Best Answer
    463035818_is_not_an_ai
    2025-04-17T16:01:02+08:002025-04-17T16:01:02+08:00

    Geralmente, uma implementação pode oferecer mais do que as especificações garantem. O problema é quando ela oferece menos. O fato de não haver erro antes não deveria ser uma surpresa. Você quebrou as regras, então as especificações não podem ajudar a dizer se o código está correto ou não.

    Por outro lado, como você usou e funcionou como esperado, suponho que sua nova variante também funcionaria como esperado. Você simplesmente não pode contar com isso. Pode quebrar na próxima versão do OpenMP ou do compilador.

    No seu novo código, você já está ramificando para chamar duas funções diferentes. Você pode ir um passo além escrevendo uma função com as diretivas OpenMp que não são OpenMp constexpre outra função constexprsem OpenMp. Na função real, você ramifica dependendo de std::is_constant_evaluated()qual chamar qualquer uma das duas. Assim, você estará em conformidade com as especificações OpenMp.

    • 1

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

    Reformatar números, inserindo separadores em posições fixas

    • 6 respostas
  • Marko Smith

    Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não?

    • 2 respostas
  • Marko Smith

    Problema com extensão desinstalada automaticamente do VScode (tema Material)

    • 2 respostas
  • Marko Smith

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

    • 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

    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
  • Martin Hope
    Fantastic Mr Fox Somente o tipo copiável não é aceito na implementação std::vector do MSVC 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant Encontre o próximo dia da semana usando o cronógrafo 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor O inicializador de membro do construtor pode incluir a inicialização de outro membro? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul O C++20 mudou para permitir a conversão de `type(&)[N]` de matriz de limites conhecidos para `type(&)[]` de matriz de limites desconhecidos? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann Como/por que {2,3,10} e {x,3,10} com x=2 são ordenados de forma diferente? 2025-01-13 23:24:07 +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

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