스택 변수 크기가 동적으로 가능한가요?

trymp의 이미지

linux GCC 환경에서 C언어 사용할때

가령 아래와 같이 이런식으로 스택배열의 크키를 정해줄수있나요?

저는 malloc 같은걸로만 동적으로 정해주고 스택변수 크기는 정적으로 정해지는 줄 알았는데요

제가 잘못 안건가요? 조언해주시면 감사하겠습니다.

void func1(int len)

{
char arr[len];

.
.
.

}

라스코니의 이미지

놀랍게도(?) 최근 컴파일러에서는 된다고 하네요.

disassss의 이미지

디스어셈블해보면 아마 malloc() 호출하는 코드로 들어가 있을 겁니다.

익명 사용자의 이미지

malloc으로 구현될 필요는 없습니다.

예컨대 x86_64 gcc 12.2에서...

void call_with_VLA(int size, void (*f)(int size, int array[])) {
        int vla[size];
 
        f(size, vla);
        return;
}

call_with_VLA:
        pushq   %rbp
        movslq  %edi, %rax
        movq    %rsi, %rdx
        leaq    15(,%rax,4), %rax
        andq    $-16, %rax
        movq    %rsp, %rbp
        subq    %rax, %rsp
        movq    %rsp, %rsi
        call    *%rdx
        leave
        ret

컴파일 옵션은 -std=c99 -pedantic -pedantic-errors -O3 입니다.

사실 gcc는 alloca 호출도 inlined code 처리해요. VLA라고 다를 이유는 없죠.

trymp의 이미지

^^

익명 사용자의 이미지

C99 표준에 추가된 Variable-length arrays 라는 기능입니다.
아래와 같은 함수를 정의할 수 있게 해 주지요.

#include <stdio.h>
 
static void reverse_nums(int size, int array[]) {
        for (int i = 0; i != size; ++i) {
                scanf("%d", &array[i]);
        }
 
        for (int i = size - 1; i >= 0; --i) {
                printf("%d ", array[i]);
        }
        puts("");
 
        return;
}
 
void call_with_VLA(int size, void (*f)(int size, int array[])) {
        int vla[size];
 
        f(size, vla);
        return;
}
 
int main() {
        call_with_VLA(10, reverse_nums);
 
        return 0;
}

생각해 보면, alloca 같은 기능도 있는데 스택 배열의 크기가 동적이지 못할 이유가 없죠.

https://man7.org/linux/man-pages/man3/alloca.3.html

물론 스택의 특성상 너무 큰 메모리를 잡으려 하는 건 지양하는 것이 좋습니다.

======

p.s. Variable-length arrays 지원은 C11부터 optional이 되고 맙니다. __STDC_NO_VLA__이 1로 정의되어 있는 경우 VLA가 지원되지 않습니다.

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.