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 / 问题

All perguntas(coding)

Martin Hope
463035818_is_not_an_ai
Asked: 2025-04-26 02:58:18 +0800 CST

Como a conversão para o tipo de ponteiro de função é especial, pois permite a conversão implícita de um chamável?

  • 15

Esta é uma continuação desta pergunta: Por que posso chamar um callable que é referenciado por constante e onde o callable real é um lambda mutável?

Posso imitar a conversão implícita de um fechamento mutável const para um ponteiro de função quando ele é chamado assim:

#include <iostream>

void dummy() { std::cout << "call dummy\n";}

using fptr = void(*)();

struct callable {
    void operator()() {std::cout << "call callable\n"; }
    operator fptr() const { 
        std::cout << "convert\n";
        return &dummy; 
    }
};

int main()
{
    auto exec = []( auto const &fn ) { 
        std::cout << "call\n";
        fn(); 
    }; 
    exec( callable{} );
}

Demonstração ao vivo

Não entendo por que a conversão implícita é acionada. Ela não ocorre ao passar o argumento (o argumento é deduzido, portanto, não leva em consideração a conversão implícita), mas apenas quando ()é invocada, como evidenciado pela saída:

call
convert
call dummy

Tentei experimentar para entender o que estava acontecendo. Tentar algo semelhante com um operador diferente não funcionou (como esperado):

#include <iostream>

struct bar {
    void operator+(int) const { std::cout << "bar\n"; };   
};

struct foo {
    void operator+(int) { std::cout << "foo\n"; }
    operator bar() const { return  {}; }
};

int main() {
    auto exec = []( auto const &fn ) { 
        std::cout << "call\n";
        fn + 42; 
    }; 
    exec(foo{});
};

erro :

<source>:15:12: error: passing 'const foo' as 'this' argument discards qualifiers [-fpermissive]
   15 |         fn + 42;
      |         ~~~^~~~

O que há de especial no operador de chamada? Como é possível que ele fn()converta implicitamente fnpara chamar outra coisa?


PS: Enquanto isso, descobri que deve estar relacionado à conversão para ponteiro de função, porque quando transformo o primeiro exemplo em algo mais parecido que o segundo, recebo o erro esperado:

#include <iostream>

struct foo {
    void operator()() const { std::cout << "call foo\n"; }

};

struct callable {
    void operator()() {std::cout << "call callable\n"; }
    operator foo() const { return {}; };
};

int main()
{
    auto exec = []( auto const &fn ) { 
        std::cout << "call\n";
        fn(); 
    }; 
    exec( callable{} );
}

Agora recebo o erro esperado

<source>:17:11: error: no match for call to '(const callable) ()'
   17 |         fn();
      |         ~~^~

Agora a questão é: O que há de especial nas conversões para o tipo de ponteiro de função?

Parece que fn()leva em conta conversões para ponteiros de função. Por quê?

c++
  • 2 respostas
  • 281 Views
Martin Hope
Arnab Chakraborty
Asked: 2025-04-04 20:29:17 +0800 CST

Declaração implícita de função padrão em C

  • 16

Esta questão vem de uma tentativa de entender a "filosofia C" e não de nenhum "problema real".

Suponha que em um programa C eu use sin(x):

#include <stdio.h>

int main() {
  char s[20] = "aha";
  printf("%f", sin(s));
  return 0;
}

Cometi dois erros deliberadamente:

  1. Não #includeeditei math.h (nem forneci nenhuma declaração para pecado).
  2. Eu fiz sum tipo char *(apenas algo que não pode ser convertido significativamente para um double).

Eu compilo usando GCC com o -lmsinalizador.

Como esperado, recebo um aviso e um erro.

Claro, há o aviso de declaração implícita de função blá blá blá:

bad.c: In function ‘main’:

bad.c:5:15: warning: implicit declaration of function ‘sin’ [-Wimplicit-function-declaration]
    5 |   printf("%f", sin(s));
      |                ^~~
bad.c:5:16: warning: incompatible implicit declaration of built-in function ‘sin’
bad.c:2:1: note: include ‘<math.h>’ or provide a declaration of ‘sin’
    1 | #include <stdio.h>
  +++ |+#include <math.h>

Uma pequena pesquisa parece indicar que se uma função não for declarada previamente, então C assume uma "declaração padrão" (a chamada "declaração implícita") que é como int undeclaredfunction(void).

Mas também recebo o seguinte erro:

    2 |
bad.c:5:19: error: incompatible type for argument 1 of ‘sin’
    5 |   printf("%f", sin(s));
      |                    ^
      |                    |
      |                    char *
bad.c:5:20: note: expected ‘double’ but argument is of type ‘char *’

Isso mostra que a "declaração implícita" espera um argumento do tipo double.

  1. Parece que C mantém uma lista de "declarações implícitas" corretas para "funções padrão". Onde posso encontrar a lista abrangente de tais declarações implícitas corretas para um determinado compilador (digamos gccou clang)?
  2. Se C já tem as declarações corretas das funções matemáticas padrão incorporadas, então por que ele espera que o programador as tenha #include<math.h>? Só por tradição? Ou por limpeza?

A(s) resposta(s) que procuro são sobre as regras exatas usadas pelo compilador, e não sobre comentários subjetivos sobre "boas práticas de programação".

c
  • 4 respostas
  • 925 Views
Martin Hope
Tom Solid
Asked: 2025-02-25 18:21:18 +0800 CST

Especialização de função membro de uma classe modelo dentro do corpo da classe

  • 16

Eu tenho uma classe modelo que tem uma função ( myfunc()) que faz o mesmo em todos os casos, Texceto em alguns casos (por exemplo, bool). Eu tenho uma solução funcional, com base nesta pergunta :

template <class T> class opt_arg{
    private: void myfunc(){
     /*Do generic stuff */
    }

/* Can I insert here the bool specialization? */

};

/* The specialization "inserted outside of the class body": */
template<>
 inline void opt_arg<bool>::myfunc(){
    /* Do bool specific stuff*/
 }

Como mencionei, está funcionando bem. Só estou pensando, posso inserir a especialização de função dentro do "corpo da classe"?

c++
  • 1 respostas
  • 350 Views
Martin Hope
Ijaz Ahmad
Asked: 2024-10-04 14:43:52 +0800 CST

Por que posso definir uma instância std::string que é constinit? Constinit não é proibido se um objeto requer inicialização dinâmica?

  • 16

O cppreference menciona que se a inicialização contiver uma parte de inicialização dinâmica, o programa ficará malformado ao usar constinit em C++20.

Só me pergunto por que o código a seguir compila então:

constinit std::string str = "Hello";

Como a std::stringclasse envolve alocação dinâmica de memória para armazenar caracteres, parece contraditório. Isso não deveria ser proibido devido à parte dinâmica?

Tentei compilar com sinalizadores -std=C++20e o programa compila bem, o que não deveria acontecer.

c++
  • 2 respostas
  • 815 Views
Martin Hope
Martin Fehrs
Asked: 2024-10-02 19:24:31 +0800 CST

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

  • 16

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

template<auto&& arg>
struct test {};
c++
  • 3 respostas
  • 510 Views
Martin Hope
Scott Lang
Asked: 2024-09-17 02:53:07 +0800 CST

Buscando uma explicação para a mudança na ordem das operações de ampliação do .NET Framework 4.8 para o .NET 8

  • 16

Estamos atualizando nosso aplicativo do .NET Framework 4.8 para o .NET 8.

Durante os testes de regressão, notamos que as conversões de ampliação implícitas parecem ocorrer em uma ordem diferente, resultando em algumas alterações nos resultados.

Parece que no .NET Framework, uma operação como: primeirod1= f1 * f2 converterá e para doubles antes de executar a multiplicação, enquanto no .NET 8 a multiplicação entre floats será realizada primeiro e então o alargamento ocorrerá.f1f2

Estou ciente do comportamento da matemática binária de ponto flutuante. Não estou tentando afirmar que uma delas está "errada" - mais tentando entender por que o comportamento foi alterado.

E: Existe alguma maneira de alterar temporariamente o comportamento do .NET 8 de volta para o comportamento do .NET Framework para que possamos entender melhor nosso teste de regressão?

(PS: sim, estou ciente de que isso não seria um problema se não tivéssemos as conversões implícitas em primeiro lugar. Mas esta é uma grande base de código legada e não posso alterá-la facilmente.)

Código de teste do aplicativo de console:

Console.WriteLine(".NET 8");

Console.WriteLine("Input Float: 0.3333333F");
float f1 = 0.3333333F;
Console.WriteLine("Decimal: " + f1.ToString());
Console.WriteLine("Binary: " + GetFloatBinary(f1));
Console.WriteLine();

Console.WriteLine("Float multiplication first, then conversion");
Console.WriteLine("f2 = f1 * f1");
float f2 = f1 * f1;
Console.WriteLine("Decimal: " + f2.ToString());
Console.WriteLine("Binary: " + GetFloatBinary(f2));
Console.WriteLine("d1 = (double)f2");
double d1 = (double)f2;
Console.WriteLine("Decimal: " + d1.ToString());
Console.WriteLine("Binary: " + GetDoubleBinary(d1));
Console.WriteLine();

Console.WriteLine("Conversion first, multiplication second");
Console.WriteLine("d2 = (double)f1 * (double)f1");
double d2 = (double)f1 * (double)f1;
Console.WriteLine("Decimal: " + d2.ToString());
Console.WriteLine("Binary: " + GetDoubleBinary(d2));
Console.WriteLine();

Console.WriteLine("Let the platform decide");
Console.WriteLine("d3 = f1 * f1");
double d3 = f1 * f1;
Console.WriteLine("Decimal: " + d3.ToString());
Console.WriteLine("Binary: " + GetDoubleBinary(d3));
Console.WriteLine();

Console.ReadLine();

static string GetFloatBinary(float value)
{
    const int bitCount = sizeof(float) * 8;
    int intValue = System.BitConverter.ToInt32(BitConverter.GetBytes(value), 0);
    return Convert.ToString(intValue, 2).PadLeft(bitCount, '0');
}

static string GetDoubleBinary(double value)
{
    const int bitCount = sizeof(double) * 8;
    int intValue = System.BitConverter.ToInt32(BitConverter.GetBytes(value), 0);
    return Convert.ToString(intValue, 2).PadLeft(bitCount, '0');
}

Resultados:

.NET FRAMEWORK
Input Float: 0.3333333F
Decimal: 0.3333333
Binary: 00111110101010101010101010101010

Float multiplication first, then conversion
f2 = f1 * f1
Decimal: 0.1111111
Binary: 00111101111000111000111000110111
d1 = (double)f2
Decimal: 0.111111097037792
Binary: 0000000000000000000000000000000011100000000000000000000000000000

Conversion first, multiplication second
d2 = (double)f1 * (double)f1
Decimal: 0.111111097865635
Binary: 0000000000000000000000000000000011100011100011100011100100000000

Let the platform decide
d3 = f1 * f1
Decimal: 0.111111097865635
Binary: 0000000000000000000000000000000011100011100011100011100100000000
.NET 8
Input Float: 0.3333333F
Decimal: 0.3333333
Binary: 00111110101010101010101010101010

Float multiplication first, then conversion
f2 = f1 * f1
Decimal: 0.1111111
Binary: 00111101111000111000111000110111
d1 = (double)f2
Decimal: 0.1111110970377922
Binary: 0000000000000000000000000000000011100000000000000000000000000000

Conversion first, multiplication second
d2 = (double)f1 * (double)f1
Decimal: 0.11111109786563489
Binary: 0000000000000000000000000000000011100011100011100011100100000000

Let the platform decide
d3 = f1 * f1
Decimal: 0.1111110970377922
Binary: 0000000000000000000000000000000011100000000000000000000000000000

Acho que entendi claramente o que mudou, mas não consigo encontrar nenhuma documentação sobre o porquê.

Obrigado por qualquer informação!

c#
  • 1 respostas
  • 718 Views
Martin Hope
fe108
Asked: 2024-01-08 21:35:45 +0800 CST

Verificando se os conjuntos de colunas são iguais, em linha em R, em qualquer ordem

  • 16

Estou trabalhando em R e preferiria uma solução dplyr, se possível.

dados de amostra:

data.frame(
  col1 = c("a", "b", "c", "d"),
  col2 = c("a", "b", "d", "a"),
  col3 = rep("a", 4L),
  col4 = c("a", "b", "d", "a"),
  col5 = c("a", "a", "c", "d"),
  col6 = rep(c("b", "a"), each = 2L)
)
col1 col2 col3 col4 col5 col6
a a a a a b
b b a b a b
c d a d c a
d a a a d a

Pergunta

Gostaria de saber para cada linha se col1, col2 e col3 são iguais a col4, col5 e col6, mas a ordem de col1 - col3 e col4 - col6 deve ser ignorada.

Portanto, para a linha 1, se col1 - col3 contivesse a,a,b respectivamente, e col4 - col6 contivesse b,a,a respectivamente, isso seria considerado uma correspondência.

Resultado desejado

Coloquei uma nota na coluna "avaliação" para ajudar na compreensão

col1 col2 col3 col4 col5 col6 avaliação
a a a a a b FALSO (porque 1-3 não é igual a 4-6)
b b a b a b VERDADEIRO (porque 1-3 é igual a 4-6, se ignorar a ordem)
c d a d c a VERDADEIRO (porque 1-3 é igual a 4-6, se ignorar a ordem)
d a a a d a VERDADEIRO (porque 1-3 é igual a 4-6, se ignorar a ordem)
  • 8 respostas
  • 223 Views
Martin Hope
LiDa Cute
Asked: 2023-08-24 20:46:59 +0800 CST

Por que 'char -> int' é promoção, mas 'char -> short' é conversão (mas não promoção)?

  • 17

Eu li isso

Promoção integral: pré-valores de tipos integrais pequenos (como char) podem ser convertidos em pré-valores de tipos integrais maiores (como int). - primeira linha
[...detalhes - não importante...]
Observe que todas as outras conversões não são promoções; por exemplo, a resolução de sobrecarga escolhe char -> int (promoção) em vez de char -> short (conversão). - linha final.

A conversão de char -> int é 'promotion' ; está claro (de um byte para 4 bytes)
A ​​conversão de char -> short é 'não promoção'; por que?
Tenho pensado que char tem um byte e short (short int) tem dois bytes. Por que não é considerado uma promoção? Parece contradizer a primeira linha - não significa que 'converter do tipo pequeno para o tipo maior' é promoção? )
-----Editar: depois de procurar algumas respostas:
Podemos considerar "uma promoção é um caso especial de conversão"? , podemos dizer "todas as promoções são conversões, mas nem todas as conversões são promoções"?
Ou deveríamos considerá-los como dois conceitos diferentes e separados?

c++
  • 4 respostas
  • 472 Views
Martin Hope
Alex Guteniev
Asked: 2023-08-17 18:58:07 +0800 CST

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

  • 17

Considere a seguinte valarrayclasse -like:

#include <stdlib.h>

struct va
{
    void add1(const va& other);
    void add2(const va& other);

    size_t* data;
    size_t  size;
};

void va::add1(const va& other) {
    for (size_t i = 0; i < size; ++i) {
        data[i] += other.data[i];
    }
}

void va::add2(const va& other){
    for (size_t i = 0, s = size; i < s; ++i) {
        data[i] += other.data[i];
    }
}

A add2função é vetorizada para diferentes compiladores (MSVC, Clang, GCC, ICC), enquanto add1não é. Veja https://godbolt.org/z/c61qvrrbv

Isso é explicado pelo possível aliasing: os compiladores não podem provar que um dos elementos apontados por datanão é o sizepróprio.

No entanto, também há sobreposição potencial de elementos apontados por datae other.data. Para o MSVC, existe o potencial de aliasing desses elementos e ponteiros, pois não tira proveito da Strict Aliasing Rule. Isso se aplica a ambos add1e add2.

Os compiladores estão realizando verificações para todos os possíveis aliasing que suspeitam e executam operações vetorizadas para arquivos add2.

Por que eles não estão adicionando mais verificações e tendo essa otimização para add1?

c++
  • 1 respostas
  • 175 Views
Martin Hope
wimalopaan
Asked: 2023-08-17 17:13:58 +0800 CST

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

  • 17

Na Referência do CPP consta que:

std::byteé um tipo distinto que implementa o conceito de byte conforme especificado na definição da linguagem C++.

Assim como char e unsigned char, ele pode ser usado para acessar a memória bruta ocupada por outros objetos ( representação de objeto ), mas ao contrário desses tipos, não é um tipo de caractere e não é um tipo aritmético. Um byte é apenas uma coleção de bits e apenas operadores bit a bit são definidos para ele .

Mas isso não é verdade: como é um tipo de enumeração, as operações de comparação ( <, <=, >, >=, ==, !=) também são possíveis.

Isso é intencional, por exemplo, para usar std::bytetambém como uma chave para std::map, etc.?

c++
  • 1 respostas
  • 588 Views
Prev
Próximo

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