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 / 79542915
Accepted
user28867477
user28867477
Asked: 2025-03-29 15:39:15 +0800 CST2025-03-29 15:39:15 +0800 CST 2025-03-29 15:39:15 +0800 CST

Por que eu relato uma falha de segmentação quando uso código de linguagem C recursivo

  • 772
#include <stdio.h>

int process(int arr[], int L, int R);
int max(int lm, int rm);

int main() {
    int arr1[] = { 14, 5, 6, 3, 8, 5, 6, 4 };
    int max = process(arr1, 0, (sizeof(arr1) / sizeof(arr1[0])) - 1);
    printf("%d", max);
}

int max(int lm, int rm) {
    return lm > rm ? lm : rm;
}

int process(int arr[], int L, int R) {
    if (L == R) {
        return arr[L];
    }
    int mid = L + (R - L) >> 1;
    if (mid > 0) {
        int leftMax = process(arr, L, mid);
        int rightMax = process(arr, mid + 1, R);
        return max(leftMax, rightMax);
    } else {
        return 0;
    }
}

Sou um novato, recentemente comecei a aprender algoritmos. Este é um procedimento para encontrar o valor máximo de um array por divisão e conquista. Ele foi transplantado do java, fiz alguns ajustes. Mas quando eu o executo, acontece uma falha de segmentação.

c
  • 2 2 respostas
  • 89 Views

2 respostas

  • Voted
  1. Best Answer
    chqrlie
    2025-03-29T16:09:15+08:002025-03-29T16:09:15+08:00

    Existem vários problemas:

    • L + (R - L) >> 1é avaliado como (L + (R - L)) >> 1porque >>tem precedência menor que +, o que é um tanto contraintuitivo. Você deve colocar a expressão entre parênteses como L + ((R - L) >> 1).
    • o caso em que L == 0e R == 1não é tratado corretamente: midserá 0portanto o valor 0é retornado arbitrariamente. Você não deve fazer um caso especial de mid > 0.

    Aqui está uma versão modificada:

    #include <stdio.h>
    
    int process(const int arr[], int L, int R);
    int max(int lm, int rm);
    
    int main(void) {
        int arr1[] = { 14, 5, 6, 3, 8, 5, 6, 4 };
        int max = process(arr1, 0, (sizeof(arr1) / sizeof(arr1[0])) - 1);
        printf("%d\n", max);
        return 0;
    }
    
    int max(int lm, int rm) {
        return lm > rm ? lm : rm;
    }
    
    int process(const int arr[], int L, int R) {
        if (L == R) {
            return arr[L];
        }
        int mid = L + ((R - L) >> 1);
        int leftMax = process(arr, L, mid);
        int rightMax = process(arr, mid + 1, R);
        return max(leftMax, rightMax);
    }
    
    • 3
  2. Ted Lyngmo
    2025-03-29T16:01:41+08:002025-03-29T16:01:41+08:00

    É por causa da precedência do operador . +tem precedência maior que >>, então isso

    int mid = L +(R-L)>>1;
    

    é o mesmo que

    int mid = (L +(R-L))>>1;
    

    e não o pretendido

    int mid = L + ((R - L) >> 1);
    

    ou o mais direto:

    int mid = (L + R) / 2;
    
    • 2

relate perguntas

  • Multiplicação mais rápida que *

  • Usando uma macro para comprimento de string no especificador de formato scanf () em C

  • Como você pode definir o tipo de dados de #define para long double?

  • Ponteiros const incompatíveis

  • Mudança de cor não gradual no OpenGL

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