2017-02-19 120 views
0

你好我上使用以下命令编译一个C11程序此警告与gcc(5.4.0版本):分配,而不是铿锵

$ gcc -g -Wall -std=c11 main.c -o minishell 
main.c: In function ‘process_new’: 
main.c:184:10: error: assignment of read-only variable ‘s’ 
     s = slice_next(s, ':')) { 

但没有与clang(版本3.8.0):

$ clang -g -Wall -std=c11 main.c -o minishell # Compile without warning. 

我在Ubuntu 16.04上。

下面是代码

// The loop that generate the warning with gcc. 
for (str_slice s = slice_at(paths, ':'); 
     !slice_empty(s); 
     s = slice_next(s, ':')) { 
//  ^Gcc complains here. 
    const char *full_path = build_full_path(progname, s); 
    /* I use with full_path but nothing with s after this point. */ 
    // There is no aliasing on full_path at this point. 
    free((void *)full_path); . 
    } 

这里的str_slice定义:

typedef struct _str_slice { 
    const char* data; 
    const uint32_t len; // end - data len of slice. 
//^^^^^ Source of gcc warning. 
} str_slice; 

,并使用它的功能:

inline 
uint32_t slice_len(const str_slice slice) { 
    return slice.len; 
} 

inline 
const char* slice_data(const str_slice s) { 
    return s.data; 
} 

inline 
str_slice slice_new(const char* data, uint32_t len) { 
    return (str_slice) { data, len }; 
} 

inline 
str_slice slice_at(const char* data, const char c) { 
    const char* end = strchr(data, c); 
    return slice_new(data, end - data); 
} 

inline 
str_slice slice_next(const str_slice s, const char c) { 
    const char* data = slice_data(s) + slice_len(s) + 1; // skip c 
    const char* end = strchr(data, c); 
    if (end != NULL) { 
    return slice_new(data, end - data); 
    } else { 
    return slice_new(NULL, 0); 
    } 
} 

inline 
bool slice_empty(const str_slice s) { 
    return s.len == 0; 
} 

,并在必要的代码约build_full_path

const char* build_full_path(const char* progname, const str_slice slice) { 
    size_t len_progname = strlen(progname); 
    // Save additional 2 bytes for adding '/' and '\0'. 
    size_t full_path_size = len_progname + slice.len + 2; 
    size_t malloc_size = sizeof(char) * full_path_size; 
    char *full_path = malloc(malloc_size); 

    full_path[full_path_size - 1] = '\0'; 
    memcpy(full_path, slice.data, slice.len); 
    full_path[slice.len] = '/'; 
    memcpy(full_path + slice.len + 1, progname, len_progname); 

    return (const char *) full_path; 
} 

当用clang编译时,我得到了一个具有良好行为的可执行文件。 所以我犯了错误?或者我发现了一个错误?

这里我的程序(过时)的全码:https://gist.github.com/darnuria/12af88c509310c2b40e0031522882720

编辑:的memcpy而不是使用strncpy。删除标量类型上的常量。

+0

'str_slice'的解释是什么? –

+0

@AndySchweig为了清晰起见,我将分隔代码块中的定义移动了一遍。 :) – Darnuria

+0

另一个明显滥用'strncpy'。使用'memcpy'或'snprintf'代替 – chqrlie

回答

1

在该结构中,数据成员len被声明为常数数据成员。

typedef struct _str_slice { 
    const char* data; 
    const uint32_t len; // end - data len of slice. 
    ^^^^^^  
} str_slice; 

这意味着它可以被改变,并且作为结果可能不是结构的一个对象指定给结构的另一个目的。

+0

好的,谢谢!但是如果我想保持这个领域的稳定性。我能怎么做?我想保留传递这个结构的可能性,因为它只是一个指针和一个32位无符号整数。 – Darnuria

+0

@Darnuria您可以通过复制传递,因为在这种情况下会创建一个新的临时对象。但是您不可以将结构的一个对象分配给结构的另一个对象。如果你打算使用赋值操作符,那么数据成员len不应该是const。 –

+0

好吧,非常感谢!我明白。我应该制作一个可重复使用的小例子并填写一个bug来发出叮当声吗?看起来很奇怪,不会在叮当中发出警告。 – Darnuria