获得本站免费赞助空间请点这里
返回列表 发帖

C语言中显示 点在多边形内 算法

本文是采用射线法判断点是否在多边形内的C语言程序。多年前,我自己实现了这样一个算法。但是随着时间的推移,我决定重写这个代码。参考周培德的《计算几何》一书,结合我的实践和经验,我相信,在这个算法的实现上,这是你迄今为止遇到的最优的代码。
1 n& Q- F8 \6 M
" D8 ~8 g9 ^/ I0 Z2 q- y' E0 i$ S  这是个C语言的小算法的实现程序,本来不想放到这里。可是,当我自己要实现这样一个算法的时候,想在网上找个现成的,考察下来竟然一个符合需要的也没有。我对自己大学读书时写的代码没有信心,所以,决定重新写一个,并把它放到这里,以飨读者。也增加一下BLOG的点击量。% R; R* u, J" W& W
% l, T. c/ q$ Q" N
  首先定义点结构如下:) Y+ S% E$ p0 h8 Y/ R2 ^

% K) N8 h  q, a) v- t) p以下是引用片段:
+ |' C3 B) a- b0 |4 q/ _/ f  /* Vertex structure */
. s* U( g# S* h6 t  typedef struct 2 Y6 N; n: M  X" p! _3 p8 r9 H& z
  { 5 R' d% F( j. d( [! T5 S( m5 x
  double x, y;
, B2 P, d* R' ?+ W9 W2 S  } vertex_t;
0 p4 d  {0 q# c( ]1 ~7 b9 H& i+ ~0 T
4 j& _6 n/ X7 Y0 N
  本算法里所指的多边形,是指由一系列点序列组成的封闭简单多边形。它的首尾点可以是或不是同一个点(不强制要求首尾点是同一个点)。这样的多边形可以是任意形状的,包括多条边在一条绝对直线上。因此,定义多边形结构如下:8 ?9 W5 k4 |+ L/ @% B

. q1 \' F- f6 U1 L  @. Z4 K3 g3 C以下是引用片段:
. K5 N. z7 k% l5 K8 e1 d  /* Vertex list structure – polygon */
6 ]2 I+ b6 ~8 w4 A- P  typedef struct 1 ]! A* \  I  w; X
  {
: E; d0 F/ ?& W3 q  int num_vertices; /* Number of vertices in list */
0 E- C' {* B8 V! \- I  vertex_t *vertex; /* Vertex array pointer */
5 C7 ?: B8 T4 _) w' _: O+ M: k  } vertexlist_t; . ]7 O% N5 ]4 n. f1 L$ o  c

! F0 o1 n" _% a0 T: H4 ]6 r  D+ H9 f" [' ?/ O
  为加快判别速度,首先计算多边形的外包矩形(rect_t),判断点是否落在外包矩形内,只有满足落在外包矩形内的条件的点,才进入下一步的计算。为此,引入外包矩形结构rect_t和求点集合的外包矩形内的方法vertices_get_extent,代码如下:
9 r1 s% F7 Y. f4 z
7 d, A: o" ~, Y* I7 t以下是引用片段:7 K7 @% |7 j6 n5 \1 j  f( c3 _
  /* bounding rectangle type */ 3 T  K% W' r, g0 b+ M1 E$ L
  typedef struct 4 d+ v, O0 w$ K) `5 m
  { - J$ Y3 H: q/ G8 W2 x
  double min_x, min_y, max_x, max_y; $ w* ^$ k6 E& j) ]
  } rect_t; * `5 F* b* _) O2 x8 w
  /* gets extent of vertices */ 4 S' P  T/ x. p! Y% @; o7 k
  void vertices_get_extent (const vertex_t* vl, int np, /* in vertices */ , ?' u0 O0 T( h+ {5 m# K
  rect_t* rc /* out extent*/ ) . k0 G8 x8 J% _& D) Q: X
  {
7 y- }( D2 N+ v& w- G  int i; 2 ?& P. l( W) `* E9 {' `' ?
  if (np > 0){ # }5 B/ i% c" P" W! r' l4 ?3 v
  rc->min_x = rc->max_x = vl[0].x; rc->min_y = rc->max_y = vl[0].y; 1 n6 i0 M6 x; m, u2 S8 S: `- n
  }else{ 3 c1 @& N$ B( T6 b6 n: r) P
  rc->min_x = rc->min_y = rc->max_x = rc->max_y = 0; /* =0 ? no vertices at all */ ) s8 U* n0 u+ c* J& O
  }
/ k' W3 S' D: A# B% v. d8 p1 K  for(i=1; i  
, J' S6 a$ T: b9 n& M& K) E  {
4 C# w$ ~8 v4 T3 N  if(vl.x < rc->min_x) rc->min_x = vl.x;
  Q7 ]' Z0 @: V  if(vl.y < rc->min_y) rc->min_y = vl.y;
' c6 C+ ^3 |! s  if(vl.x > rc->max_x) rc->max_x = vl.x;   E2 U1 ^( I2 A; H- A7 Q
  if(vl.y > rc->max_y) rc->max_y = vl.y; 3 y5 A0 m) d1 g% K; \  R1 a
  } $ e0 _8 F# i0 v# g0 f3 p
  } - c4 X' N+ j& A

1 @; S3 G; \3 G, ~! I5 c0 d1 M# r7 s8 a4 Z$ b/ _# S5 t
  当点满足落在多边形外包矩形内的条件,要进一步判断点(v)是否在多边形(vl:np)内。本程序采用射线法,由待测试点(v)水平引出一条射线B(v,w),计算B与vl边线的交点数目,记为c,根据奇内偶外原则(c为奇数说明v在vl内,否则v不在vl内)判断点是否在多边形内。; H& n" j8 E9 x% G3 G' |
* @; ]% O( g; Z" d' C, T# \
  具体原理就不多说。为计算线段间是否存在交点,引入下面的函数:
2 e7 O# V# S3 ]6 C, |% n2 L" [% q0 @6 h/ y, e: f
  (1)is_same判断2(p、q)个点是(1)否(0)在直线l(l_start,l_end)的同侧;
" r' C( t1 I2 e, D& y# q; P) ~+ m6 S) @* }
  (2)is_intersect用来判断2条线段(不是直线)s1、s2是(1)否(0)相交;6 }! I# a' K% f! U% l$ a5 @9 @
9 _6 C) H, ~2 W3 m7 t! K
以下是引用片段:
/ f' ^/ d0 R' z/ ~  /* p, q is on the same of line l */
6 \/ s/ m6 J  e* M0 x  static int is_same(const vertex_t* l_start, const vertex_t* l_end, /* line l */
( Z- x- w7 S  r0 f  const vertex_t* p, 3 y& _. `% s! u/ C
  const vertex_t* q)
8 r4 g  w% ^7 [5 p- p  { 8 J( z, |  f% c1 U6 E' w
  double dx = l_end->x - l_start->x; 0 c! l6 g# [- X- }2 N
  double dy = l_end->y - l_start->y; 9 u1 v- f, |  c7 I& ]" y# N
  double dx1= p->x - l_start->x;
: Z2 N. @* b4 Y' w- H  double dy1= p->y - l_start->y;
; B: A3 n% c1 |- m6 @2 @) H- o  double dx2= q->x - l_end->x; ) v/ L. ]; q3 W9 L% |9 c- P
  double dy2= q->y - l_end->y;
) ~( ^9 G  t1 P1 X, G  return ((dx*dy1-dy*dx1)*(dx*dy2-dy*dx2) > 0? 1 : 0); - |' G( l  o% f$ F; y
  } $ R9 ^5 b* ?2 V( ^- C
  /* 2 line segments (s1, s2) are intersect? */
$ N' z% V8 |* C* |! r. Y  static int is_intersect(const vertex_t* s1_start, const vertex_t* s1_end, ; C: l# J' U0 D: U' B. \: W% P, `
  const vertex_t* s2_start, const vertex_t* s2_end) ; h" @+ P; ]: P7 l% L$ t
  {
% [0 `" ^% p# x! A& T  return (is_same(s1_start, s1_end, s2_start, s2_end)==0 && , k6 k% e# k2 S: M3 Z; ?
  is_same(s2_start, s2_end, s1_start, s1_end)==0)? 1: 0;
9 P2 E! A8 N( \2 x- T4 A  } 7 i# E4 w/ _& l2 j% Z+ F
: Q% X( |# `. l- B0 Z6 E7 M3 l3 o

5 M3 N; ?3 r# E- o, u' O$ `; y  下面的函数pt_in_poly就是判断点(v)是(1)否(0)在多边形(vl:np)内的程序:
3 o* |" S" S8 E! U' U' Z
+ y1 f2 ^' w" U以下是引用片段:' G( j, H6 c0 f2 M
  int pt_in_poly ( const vertex_t* vl, int np, /* polygon vl with np vertices */
6 E  P/ H" y, A" v) Q' G. ]  const vertex_t* v)
9 Z% A2 b* n; ?& Y2 D  {
0 G2 P4 Y$ P4 n# ~2 p8 r( r  int i, j, k1, k2, c;
) b# K( P* ]- U  rect_t rc;
2 m6 G/ T$ C) H( X  vertex_t w;
+ p+ K4 ^( q' Y; B6 g/ {6 ^  U9 \  if (np < 3)
% p) D: k/ x0 J& _* w+ y9 M  return 0;
/ o& B+ R, R- D) e0 L  vertices_get_extent(vl, np, &rc); : g& D1 f( p7 \: G/ N6 L' L# L
  if (v->x < rc.min_x || v->x > rc.max_x || v->y < rc.min_y || v->y > rc.max_y)
/ ~: K+ r6 M# P. ]  return 0;
/ s! P3 U% _8 f; b) ?. Y  /* Set a horizontal beam l(*v, w) from v to the ultra right */ 5 i2 z5 ?- z8 w4 N, H0 N6 A0 D
  w.x = rc.max_x + DBL_EPSILON;
) N  X8 C2 M5 F  w.y = v->y;
9 g7 g, [, x( Q' ]: e  c = 0; /* Intersection points counter */
" K# i$ u4 `. a0 b  for(i=0; i  % P/ K. n+ Q5 C" h6 O0 |( l- }
  {
. |  S: ?9 w" y: L& |7 M  j = (i+1) % np; 6 Q) r3 F1 Y2 I
  if(is_intersect(vl+i, vl+j, v, &w)) % m  f( W9 @, @$ b  j
  { 2 t; ^. @( x$ q+ [
  C++; 9 ]$ a4 }3 c& F% J, w0 n9 ?& _
  } 3 V# {. {6 i+ X1 [) }; {
  else if(vl.y==w.y)
$ F9 w8 w, m) u. D: N  {
7 x4 O1 s+ t! Y5 q( R" g  k1 = (np+i-1)%np;
, o3 {% L# n/ f* H6 g' ]& {  while(k1!=i && vl[k1].y==w.y) " r; O, o  M! k8 y- l) Z
  k1 = (np+k1-1)%np;
$ R  s" j* r1 ~! ~  k2 = (i+1)%np;
/ }/ k' c! P& R+ [  while(k2!=i && vl[k2].y==w.y) : k# P' y' H% H" e3 g, `
  k2 = (k2+1)%np; ! w/ y2 s/ B# z
  if(k1 != k2 && is_same(v, &w, vl+k1, vl+k2)==0) 1 F* I" |4 m! z6 x, O6 T
  C++; 9 ^+ o- P' z" B5 F
  if(k2 <= i) ' g1 {- {6 a2 i$ l/ }, O
  break;
/ E2 k; ]* {0 f7 c  i = k2; ; s+ o- l# H. ?( w
  }
/ F! Z' j) m7 r. H. ]  } + R; b4 H; a1 i. t5 }  ^
  return c%2; ( |9 j% }+ z3 |* b/ Q, K
  }
6 X- a7 e- g' L# `! F" A$ e+ A
' R  H0 @, Z! \* l, v+ W
, p0 a* ]- D4 t; I5 _+ O3 B  本想配些插图说明问题,但是,CSDN的文章里放图片我还没用过。以后再试吧!实践证明,本程序算法的适应性极强。但是,对于点正好落在多边形边上的极端情形,有可能得出2种不同的结果。

返回列表
【捌玖网络】已经运行: