在将HP-UX C ++应用程序移植到LINUX的过程中，我注意到有一个int类型的函数，其中并非所有代码路径都返回一个整数值。当我在HP-UX下编译和运行应用程序（使用acc编译器进行编译）时，它会通过未明确声明返回值的代码路径返回0。但是，当我在LINUX下编译并运行相同的应用程序时，我得到的返回值为-72，因此应用程序会出现错误（这是在返回值小于0时）。我注意到经典的C ++（ACC编译器支持的一个非常古老和过时的标准）处理变量作用域与标准C ++（遗憾的是ACC不支持）略有不同。在经典的C ++中，似乎在forloop声明中声明了一个整数
for( int index = 0; index < array.length; index++ )
变量索引可以在forloop之外访问，虽然我不确定是否以相同的方式处理return语句，以便aCC识别出所有代码路径都返回一个值。
我正在处理的功能如下：
int process_phase (const char *phase, const char *seg_type, const char *dist_target, const char *action_target, char *cmd)
{
char cmd2[MAX_STRING];
printf( "I AM INSIDE THE PROCESS_PHASE\n" );
if (TRACE_MODE)
{
printf ("%s %s\n", MSG_LOOKUP("MSG_PHASE"), phase);
printf ("%s %s\n", MSG_LOOKUP("MSG_SEG_TYPE"), seg_type);
printf ("%s %s\n", MSG_LOOKUP("MSG_DIST_TARGET"), dist_target);
printf ("%s %s\n", MSG_LOOKUP("MSG_ACTION_TARGET"), action_target);
printf ("%s %s\n", MSG_LOOKUP("MSG_CMD"), cmd);
}
// Remove the pre- and post- prefixes
const char *phase_ref = strchr(phase, '-');
printf ("PHASE REF BEFORE PREFIX REMOVAL: %s\n", phase_ref );
if (phase_ref)
{
phase_ref++;
}
else
{
phase_ref = phase;
}
printf ("PHASE REF AFTER PREFIX REMOVAL: %s\n", phase_ref );
if (TRACE_MODE)
{
printf ("%s %s\n", MSG_LOOKUP("MSG_PHASE_REF"), phase_ref);
}
printf ( "==========TEST PHASE 1 BEGIN==========\n" );
if (strcasecmp(phase_ref, "all_phases") != 0)
{
if (DO_TRANSFER && strcasecmp(phase_ref, "transfer") != 0)
{
printf ("IN ONE\n");
return 0;
}
else if (DO_TAPE_GENERATION && strcasecmp(phase_ref, "tape_generation") != 0)
{
printf ("IN TWO\n");
return 0;
}
else if (DO_TAPE_EXTRACTION && strcasecmp(phase_ref, "tape_extraction") != 0)
{
printf ("IN THREE\n");
return 0;
}
else if (DO_PREPARATION && strcasecmp(phase_ref, "preparation") != 0)
{
printf ("IN FOUR\n");
return 0;
}
else if (DO_DISTRIBUTION && strcasecmp(phase_ref, "distribution") != 0)
{
printf ("IN FIVE\n");
return 0;
}
else if (DO_VERIFICATION && strcasecmp(phase_ref, "verification") != 0)
{
printf ("IN SIX\n");
return 0;
}
else if (DO_ACTIVATION && strcasecmp(phase_ref, "activation") != 0)
{
printf ("IN SEVEN\n");
return 0;
}
else if (DO_REMOVAL && strcasecmp(phase_ref, "removal") != 0)
{
printf ("IN EIGHT\n");
return 0;
}
}
printf ( "==========TEST PHASE 1 END==========\n" );
// if (strstr(seg_type, envvar("SEGMENT_TYPE")) == 0 && strcasecmp(seg_type, "ALL") !=0) return 0;
char tmp_seg_type[MAX_BUFFLEN];
sprintf (tmp_seg_type, "_%s_", seg_type);
printf( "tmp_seg_type: %s\n", tmp_seg_type );
char tmp_envar_seg_type[MAX_BUFFLEN];
sprintf (tmp_envar_seg_type, "_%s_", envvar("SEGMENT_TYPE"));
printf( "tmp_seg_type: %s\n", tmp_seg_type );
if ( strstr(tmp_seg_type, tmp_envar_seg_type) == 0 && strcasecmp(seg_type, "ALL") != 0 )
{
printf( "IN TEST PHASE TWO\n" );
return 0;
}
char match_list[MAX_BUFFLEN];
printf ( "==========TEST PHASE THREE BEGIN==========\n" );
if ( DO_TRANSFER )
{
printf( "IN ONE\n" );
sprintf( match_list, "DIST_NODES", dist_target );
}
else if (DO_TAPE_GENERATION)
{
printf( "IN TWO\n" );
sprintf( match_list, "HOST_NODES", dist_target );
}
else
{
printf( "IN THREE\n" );
sprintf( match_list, "%s_NODES", dist_target );
printf( "match_list: %s\n", match_list );
}
printf ( "==========TEST PHASE THREE END==========\n" );
char matched_nodes[MAX_BUFFLEN];
get_env(match_list, matched_nodes);
printf( "matched_nodes: %s\n", matched_nodes );
word_sort_unique(matched_nodes);
printf( "sorted_matched_nodes: %s\n", matched_nodes );
const char *element_separator = " ";
const char *curr_node_type;
char *curr_node = strtok(matched_nodes, element_separator);
printf( "curr_node: %s\n", curr_node );
int whileiteration = 0;
while (curr_node)
{
printf( "WHILE LOOP ITERATION: %d\n", whileiteration );
int node_idx;
bool matched = false;
for (node_idx=0; node_idx<node_count; node_idx++)
{
if (strcmp(curr_node, node_table[node_idx]) == 0)
{
matched = true;
break;
}
}
if (matched)
{
if (strcasecmp(action_target, "TARGET") == 0)
{
if (indent[node_idx][0] == 0)
{
fprintf (outfile[node_idx], "remsh %s \"\n", curr_node);
indent[node_idx] = " ";
fprintf (outfile[node_idx], "%s. %s/site_profile\n", indent[node_idx], envvar ("TOOLS_DIR"));
fprintf (outfile[node_idx], "%s. %s/install_profile\n", indent[node_idx], envvar ("TOOLS_DIR"));
fprintf (outfile[node_idx], "%sexport LANG=%s\n", indent[node_idx], envvar ("LANG"));
}
}
else
{
// Input redirection from /dev/echo enables that the ports reserved for remsh on both client and
// server node get released immediately without any inactivity timeout period
if (indent[node_idx][0] != 0)
{
fprintf (outfile[node_idx], "\" < /dev/echo \n");
}
indent[node_idx] = "";
}
// Do parameter substitution
strcpy(cmd2, cmd);
expand_string (cmd2, "$BUILD_VERSION", BUILD_VERSION);
expand_string (cmd2, "${BUILD_VERSION}", BUILD_VERSION);
expand_string (cmd2, "$TARGET_NODE", curr_node);
expand_string (cmd2, "${TARGET_NODE}", curr_node);
curr_node_type = target_lookup (curr_node);
expand_string (cmd2, "$NODE_TYPE", curr_node_type);
expand_string (cmd2, "${NODE_TYPE}", curr_node_type);
fprintf(outfile[node_idx], "%s%s\n", indent[node_idx], cmd2);
file_active[node_idx] = true;
}
curr_node = strtok(NULL, element_separator);
whileiteration++;
}
printf ( "EXITING PROCESS PHASE\n" );
}
我使用代码检测在HP-UX和LINUX上打印出变量和其他输出，直到while循环，它们看起来是相同的。在某些情况下，即使忽略while循环，因为变量curr_node为null并退出函数，其中EXITING PROCESS PHASE打印到stdout，HP-UX和LINUX之间的输出也是相同的。但是，HP-UX和LINUX之间的返回值完全不同。我无法弄清楚的原因是什么。
答案 0 :(得分：6)
你说你的函数的一个分支“没有明确说明返回值。”这是一个错误，编译器不需要为您诊断。在那种情况下，行为是不确定的。你一直在一个平台上得到负面结果只是意味着你很幸运（或者不幸，因为不同的值不会很快暴露出这个错误）。
通常，有一个内存位置或寄存器指定返回值。如果函数没有在那里存储任何东西，或者如果它使用了临时值的位置但从未在那里写过最终结果，那么调用者将读取该位置并获得在那里发生的任何值。在您的情况下，Linux返回值的位置恰好保留-72，而HP-UX返回值的位置恰好保持为零。让你的意图已知，并在所有代码路径中显式返回一个值。
返回值位置始终是否保持特定值通常会受到相关函数的操作以及它调用的函数的操作的影响。小而简单函数的行为不一定能预测较大函数的行为。
答案 1 :(得分：1)
int值通常在寄存器中返回。如果您实际上没有返回值，则该寄存器将包含先前计算中剩余的一些随机值。
如果到达此功能的末尾，您将获得上一个printf的返回值，该值可能会传递到下一个级别。