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
Zebrafish
Asked: 2025-04-06 21:31:38 +0800 CST

Como os "tipos" têm ligação externa ou interna? Por que isso tem ligação interna?

  • 10

Eu sei que variáveis/objetos têm ligação interna e externa, mas não sabia que "tipos" têm ligação interna e externa. Quando compilo meu código com o GCC, recebo o aviso:

'ShaderModuleObject' tem um campo 'GFXAPIShaderModuleHandle ShaderModuleObject::handle' cujo tipo tem ligação interna [-Wsubobject-linkage]

Aqui está o código, e eu o colei no Godbolt , mas não vejo o mesmo aviso, ou mesmo se o Godbolt tem avisos habilitados:

#define GFX_API_NULL_HANDLE 0

template <typename T, void(*deleter)(T)>
struct MoveOnlyGFXAPIHandle
{
    MoveOnlyGFXAPIHandle() : handle(GFX_API_NULL_HANDLE) {}
    MoveOnlyGFXAPIHandle(T handle) : handle(handle) {}
    MoveOnlyGFXAPIHandle(const MoveOnlyGFXAPIHandle&) = delete;
    MoveOnlyGFXAPIHandle(MoveOnlyGFXAPIHandle&& other) : handle(other.handle) { other.handle = GFX_API_NULL_HANDLE; };
    MoveOnlyGFXAPIHandle& operator=(const MoveOnlyGFXAPIHandle&) = delete;
    MoveOnlyGFXAPIHandle& operator=(MoveOnlyGFXAPIHandle&& other)
    {
        this->reset();
        handle = other.handle;
        other.handle = GFX_API_NULL_HANDLE;

        return *this;
    }
    void reset() { 
        if (handle != GFX_API_NULL_HANDLE) 
        {
            deleter(this->handle); 
            handle = GFX_API_NULL_HANDLE; 
        }    
    }
    
    void assign(T handle) { reset(); this->handle = handle; }
    operator T() const { return handle; }

    T get() const { return handle; }
    ~MoveOnlyGFXAPIHandle() { 

        reset(); }
private:
    T handle;
};


using GFXAPIShaderModuleHandle = MoveOnlyGFXAPIHandle < int,
    +[](int handle) {

          //destroyShaderModule(handle);
    } > ;




struct ShaderModuleObject {

    GFXAPIShaderModuleHandle handle;
};


int main()
{

    ShaderModuleObject module_object;


    return 0;
}

O que são tipos com ligação interna e externa? E por que meu tipo tem ligação interna, e por que isso é algo ruim a ponto de o GCC me alertar sobre isso?

c++
  • 1 respostas
  • 127 Views
Martin Hope
user30176973
Asked: 2025-04-05 19:50:14 +0800 CST

Como classificar uma matriz quase classificada com no máximo √n elementos mal posicionados em tempo O(n)?

  • 10

Olá, tentei resolver o problema abaixo por 5 horas, mas não consegui encontrar a resposta. O título desta pergunta é "Classificação em Linear", então presumo que a resposta ideal deva ter complexidade de tempo O(n). A pergunta está escrita abaixo.

===================================================

Você tem um array de n inteiros originalmente ordenado em ordem crescente. No entanto, até ⌊√n/2⌋ trocas arbitrárias foram feitas entre pares de elementos no array. Consequentemente, no máximo √n elementos podem estar fora de suas posições corretas. Você deve reordenar este array em ordem crescente usando um algoritmo com a menor complexidade de tempo possível.

===================================================

O que descobri até agora é que, se você conseguir encontrar quais elementos estão na posição errada em O(n), a ordenação em si também deve assumir O(n). Mas não sei mais o que fazer :(

Algoritmo LinearSort(A):

n ← length(A)
misplacedIndices ← empty set

// Step 1: Identify indices of potentially misplaced elements
   misplacedIndices.add(i) // Do this somehow(!!!!)


// sort indices in ascending order -> takes O(√n · log(√n))
misplacedIndices ← sorted(misplacedIndices)

// Step 2: Separate misplaced elements from correctly placed ones
misplacedList ← empty list
remainderList ← empty list
for i ← 0 to n - 1 do:
    if i ∈ misplacedIndices then:
        misplacedList.append(A[i])
    else:
        remainderList.append(A[i])
end for

// Sort the misplaced elements (only up to O(√n) elements)
sort(misplacedList)  // Time complexity: O(√n · log√n)

// Step 3: Merge the two sorted lists (remainderList and misplacedList)
result ← empty list
i ← 0, j ← 0
while i < length(remainderList) and j < length(misplacedList) do:
    if remainderList[i] ≤ misplacedList[j] then:
        result.append(remainderList[i])
        i ← i + 1
    else:
        result.append(misplacedList[j])
        j ← j + 1
end while

// Append any remaining elements from either list
while i < length(remainderList) do:
    result.append(remainderList[i])
    i ← i + 1
end while

while j < length(misplacedList) do:
    result.append(misplacedList[j])
    j ← j + 1
end while

return result
algorithm
  • 2 respostas
  • 118 Views
Martin Hope
Patrick LoPresti
Asked: 2025-04-04 00:11:55 +0800 CST

GCC vs. Clang: Construtor herdado ambíguo? [duplicado]

  • 10
Esta pergunta já tem uma resposta aqui :
Resolução de sobrecarga entre construtor e construtor herdado em C++ - qual compilador está correto? (1 resposta)
Fechado há 19 horas .

Este é o cerne de um problema do Tensorflow .

Considere o seguinte código:

class Option;

class Base
{
public:
  explicit Base(Option opt);
};

class Derived : public Base
{
public:
  using Base::Base;
  explicit Derived(const Option &opt);
};

Derived
doit(const Option &opt)
{
  return Derived(opt);
}

Quando compilado com versões do GCC até 14.2, ele falha assim:

<source>: In function 'Derived doit(const Option&)':
<source>:19:21: error: call of overloaded 'Derived(const Option&)' is ambiguous
   19 |   return Derived(opt);
      |                     ^
<source>:6:12: note: candidate: 'Base::Base(Option)'
    6 |   explicit Base(Option opt);
      |            ^~~~
<source>:12:15: note:   inherited here
   12 |   using Base::Base;
      |               ^~~~
<source>:13:12: note: candidate: 'Derived::Derived(const Option&)'
   13 |   explicit Derived(const Option &opt);
      |            ^~~~~~~
<source>:9:7: note: candidate: 'constexpr Derived::Derived(const Derived&)'
    9 | class Derived : public Base
      |       ^~~~~~~
<source>:9:7: note: candidate: 'constexpr Derived::Derived(Derived&&)'
Compiler returned: 1

O Clang aceita esse código sem reclamar.

Exemplo ao vivo em Golbolt

Isso parece ser um bug no Clang (por permitir uma chamada ambígua) ou no GCC (por não permitir uma chamada não ambígua). Mas não tenho certeza de qual. Então, essa chamada é ambígua ou não?

c++
  • 2 respostas
  • 106 Views
Martin Hope
pts
Asked: 2025-04-03 17:23:44 +0800 CST

Como detectar se meu código x86 está sendo executado no modo de 16 bits ou 32 bits sem modificar FLAGS ou regs?

  • 10

Meu código x86 pré-compilado pode estar sendo executado em 16 bits (modo real ou modo protegido de 16 bits) ou 32 bits (modo protegido i386). Como posso detectá-lo a partir do código em tempo de execução?

Consegui chegar a esta fonte NASM:

bits 16
cpu 386

pushf
test ax, strict word 0  ; In 32-bit mode this is `test eax, ...', +2 bytes.
jmp short found_16
; Fall through to found_32.

found_32:
bits 32
popf
int 32  ; Or whatever code.

found_16:
bits 16
popf
int 16  ; Or whatever code.

No entanto, não gosto, porque ele usa a pilha. Existe uma solução que não modifique nenhum registrador de uso geral, registrador de segmento ou flags, não use a pilha e funcione em um 8086 (somente modo de 16 bits) e em um 386 (ambos os modos)?

Tentei lea esi, [dword esi+0]no modo de 32 bits, mas isso não é possível no modo de 16 bits.


Observe que estou ciente de que para a maioria dos programas o modo é decidido em tempo de compilação (como parte da arquitetura e plataforma), e eles não precisam ser capazes de detectar o modo em tempo de execução. Também para programas iniciados normalmente, o sistema operacional escolherá o modo correto com base no cabeçalho do arquivo, portanto, quase não há perigo de executar acidentalmente um arquivo de programa completo no modo errado. No entanto, alguns trechos de programa, como o shellcode de exploração, podem se beneficiar da detecção em tempo de execução de todos os tipos (incluindo a arquitetura e o sistema operacional). Também tenho alguns outros casos de uso obscuros em mente.

assembly
  • 3 respostas
  • 122 Views
Martin Hope
An5Drama
Asked: 2025-03-30 19:07:50 +0800 CST

expressão de nível 2 em C

  • 10

Isto é de preferência :

Os operandos esquerdos dos operadores de atribuição devem ser expressões unárias (não convertidas de nível 2).

Essa página de referência tem 2 ocorrências de "level", ou seja, a outra é "precedence level". Mas o nível de precedência 1 tem "Function call" e o nível de precedência 2 tem "sizeof", aos quais não é possível atribuir algo.

Posso entender "não-cast" porque cast pode converter lvalue em rvalue .

Então o que significa esse "nível 2"?

c
  • 1 respostas
  • 136 Views
Martin Hope
JMA
Asked: 2025-03-29 09:21:16 +0800 CST

`T: Trait`/`impl Trait` não satisfaz `dyn Trait`, exceto quando o faz

  • 10

Eu encontrei um comportamento de variância estranho que tenho certeza de que é uma falha na minha compreensão do sistema de tipos, mas parece um bug do compilador.

trait Trait: 'static {}
impl<T> Trait for T where T: 'static {}

struct Inner<T>(T);

fn make_inner<T: Trait>(t: T) -> Inner<Box<T>> {
    Inner(Box::new(t))
}

type DynNecessary = Vec<Inner<Box<dyn Trait>>>;

struct DynCarrier {
  things: DynNecessary,
}

impl DynCarrier {
    pub fn spawn(&mut self, t: impl Trait + 'static) {
        let inner = make_inner(t);
        
        self.things.push(inner);
    }
}

fn main() {}

link do playground

No exemplo acima, make_innerrecebe Te retorna Inner<Box<T>>onde T é conhecido por satisfazer Trait.
No entanto, ao tentar usar o valor de retorno de make_inneralgum lugar que aceita Inner<Box<dyn Trait>>, obtenho o seguinte:

= note: expected struct `Inner<Box<(dyn Trait + 'static)>>`
           found struct `Inner<Box<impl Trait + 'static>>`

Eu tinha um palpite de que isso tinha algo a ver com a maneira como o programa em tempo de execução trataria um dyn Traitversus um concreto impl Trait, mas onde isso desmorona para mim é na seguinte mudança:

fn make_inner<T: Trait>(t: T) -> Inner<Box<dyn Trait>> {
    Inner(Box::new(t))
}

onde now té coagido com sucesso para dyn Trait.
Que influência a inferência de tipo de retorno tem sobre tipos, que a inferência de tipo de argumento não tem? Se .pushassume a propriedade de inner, por que não é capaz do mesmo tipo de coerção?

rust
  • 1 respostas
  • 60 Views
Martin Hope
user30097526
Asked: 2025-03-29 06:30:27 +0800 CST

Alocador de arena C: alinhamento de ponteiro

  • 10

Eu criei um alocador de arena muito simples em C e fiquei pensando em uma coisa.

Aqui está meu arquivo de cabeçalho (a propósito, se esta API não parecer correta, por favor me avise!).

#ifndef ARENA_H
#define ARENA_H

#include <stddef.h>

struct Arena;

/* Returns a new arena allocator with a capacity of SIZE */
struct Arena *arena_new(size_t size);
/* Allocates SIZE bytes of memory from ARENA aligned with a default alignment
   set to `__alignof__(max_align_t)`. */
void *arena_alloc(struct Arena *arena, size_t size);
/* Allocates SIZE bytes of memory from ARENA with no alignment */
void *arena_alloc_packed(struct Arena *arena, size_t size);
/* Allocates SIZE bytes of memory from ARENA aligned on ALIGN. */
void *arena_alloc_align(struct Arena *arena, size_t size, size_t align);
/* Free all memory allocated with ARENA */
void arena_free(struct Arena *arena);

#endif /* ARENA_H */

Na implementação, arena_alloc_aligncostumo uintptr_tconverter o endereço do ponteiro do bloco de memória para um tipo com o qual posso calcular o alinhamento do endereço.

void *arena_alloc_align(struct Arena *arena, size_t size, size_t align)
{
    assert((align & 1) == 0 && "aligment must be a power of two");

    uintptr_t curr_addr = (uintptr_t)arena->mem_block + arena->cursor;
    size_t padding = 0;

    if (align > 0 && !IS_ALIGNED(curr_addr, align))
        padding = align - (curr_addr & (align - 1));

    if(arena->cursor + padding + size > arena->capacity)
        return NULL;

    arena->cursor = padding + size;
    return (void *)curr_addr + padding;
}

Esse tipo ( uintptr_t) é ok para usar? Tipo, ele é portátil? Porque pelo que eu li, esse tipo é opcional , isso significa que em alguma implementação de compilador ele pode não ser implementado?

Se sim, que tipo posso usar para converter um ponteiro para um tipo que seja grande o suficiente para conter qualquer endereço de memória?

Encontrei algumas outras perguntas relacionadas, mas as pessoas não parecem dar uma alternativa que seja definida no padrão e que não seja opcional. (Posso ter perdido a resposta que estava procurando).

c
  • 2 respostas
  • 129 Views
Martin Hope
Fedor
Asked: 2025-03-28 20:36:32 +0800 CST

O std::bit_cast pode converter de ou para o tipo std::nullptr_t?

  • 10

É proibido usar std::bit_castpara conversão de ou para std::nullptr_t = decltype(nullptr)o tipo? E se for permitido, 1) o resultado de deve std::bit_castser o mesmo que static_cast, 2) a conversão de ida e volta deve retornar o valor original?

Testei os compiladores atuais e todos eles aceitam o seguinte programa sem nenhum aviso:

#include <bit>
#include <iostream>

int p = 0;
auto n = std::bit_cast<decltype(nullptr)>( &p );

int main() {
  std::cout 
    << (std::bit_cast<int*>(n) == static_cast<int*>(n))
    << ' '
    << (&p == std::bit_cast<int*>(n));
}

Mas os compiladores divergem na forma como tratam as conversões, o que é visível na saída do programa:

  • Impressões sonoras 0 1.
  • Impressões GCC 1 0.
  • Impressões MSVC 1 1.

Demonstração online: https://gcc.godbolt.org/z/fbEGvGs4v

Qual implementação está correta aqui, se houver alguma?

c++
  • 1 respostas
  • 102 Views
Martin Hope
qdread
Asked: 2025-03-24 08:11:29 +0800 CST

Maneira programática de aplicar lista de funções a lista de colunas em dplyr summary

  • 10

Tenho cerca de 40 colunas que quero resumir por grupo usando dplyr::summarize(). Mas cada coluna será resumida com uma função diferente: algumas com mean(), algumas com sum(), algumas com min()e algumas com max(). Apenas uma função será aplicada a cada coluna. Tenho uma tabela de consulta para corresponder cada nome de coluna com a função apropriada. Qual é a melhor maneira de fazer isso dplyr::summarize()sem ter que escrever cada declaração individualmente?

Aqui está um exemplo de tabela de consulta usando mtcars. O código abaixo não fornece o resultado desejado. Ele aplica todas as dez funções de resumo a todas as dez colunas para um total de 100 resumos, onde eu quero apenas dez resumos, um para cada coluna.

library(dplyr)

lookup_table <- tibble(
  variable = c('mpg', 'disp', 'hp', 'drat', 'wt', 'qsec', 'vs', 'am', 'gear', 'carb'),
  summ_fn = list(mean, max, min, sum, mean, mean, median, mean, sum, max)
)

mtcars %>%
  group_by(cyl) %>%
  summarize(across(all_of(lookup_table$variable), .fns = lookup_table$summ_fn))
  • 5 respostas
  • 150 Views
Martin Hope
Akramat
Asked: 2025-03-23 11:33:19 +0800 CST

O que é um item de entrada no scanf?

  • 10

Estou aprendendo C e tentando entender como scanf funciona. Não consigo entender alguns termos: o termo "input item", "initial subsequence", "matching sequence". Estou lendo isto https://pubs.opengroup.org/onlinepubs/9699919799/functions/scanf.html . Diz:

Um item de entrada deve ser definido como a sequência mais longa de bytes de entrada (até qualquer largura máxima de campo especificada, que pode ser medida em caracteres ou bytes dependendo do especificador de conversão), que é uma subsequência inicial de uma sequência correspondente .

Suponha que no formato i tenha %d e no stdin 4.5 . O que é subsequência inicial e o que é sequência correspondente ? E o que é item de entrada ?

Pensei que o item de entrada é o que corresponde a esse especificador, ou seja, para %d os símbolos correspondentes são números (talvez sinais de + - no início), mas então ele diz:

Exceto no caso de um especificador de conversão %, o item de entrada (ou, no caso de uma especificação de conversão %n, a contagem de bytes de entrada) deve ser convertido para um tipo apropriado para o caractere de conversão. Se o item de entrada não for uma sequência correspondente , a execução da especificação de conversão falhará;

ou seja, o item de entrada pode não corresponder, o que significa que ele não consiste apenas em símbolos que correspondem ao especificador.

Então, você pode me explicar esses termos? E me dizer se é aqui que estou procurando documentação para funções C? Quais sites são os melhores lugares para ler documentação para funções C?

c
  • 4 respostas
  • 133 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